Keerthi K. Home Page
PhD Scholar ( Roll No: CS17D013 )
Email : CS17D013 [at] smail [dot] iitm [dot] ac [dot] in   
Advisor(s) : Chester Rebeiro
Lab(s) : ASHD Lab.

Publications : (Last Five, while at IITM)View All

  • An Algorithmic Approach to Formally Verify an ECC Library. 
    Authors : Keerthi K., Chester Rebeiro, Aritra Hazra
    Appeared in ACM Trans. Design Autom. Electr. Syst., Vol 23, pp.63:1-63:26, Jan 2018

Awards and Recognitions :View All  |  Back to top

Doctoral Committee:View All  |  Back to top