Jan 21, 2019 : Keerthi K won the poster competition, that was part of ISEA International Conference on Security and Privacy (ISAP) 2018
Title: An Algorithmic Approach to Formally Verify an ECC Library
Authors: Keerthi K, Chester Rebeiro, Aritra Hazra
Poster competition, that was part of ISEA International Conference on Security and Privacy (ISAP) 2018.
