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

(Recent) Teaching Assistantship : View All  |  Back to top

Jan 2019 - May 2019 : - Network Security (CS6500)
Jul 2018 - Nov 2018 : - Secure Systems Engineering (CS6570)
Jul 2018 - Nov 2018 : - Computational Engineering (CS1100)

Awards and Recognitions :View All  |  Back to top


Doctoral Committee:View All  |  Back to top