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.


© 2016 - All Rights Reserved - Dept of CSE, IIT Madras
Website Credits