Department of Computer Science & Engineering

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

• FaultMeter: Quantitative Fault Attack Assessment of Block Cipher Software. 
  
  Authors : Keerthi K., Chester Rebeiro
  Appeared in IACR Trans. Cryptogr. Hardw. Embed. Syst., Vol 2023, pp.212-240, Jan 2023
• FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers. 
  
  Authors : Keerthi K., Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia
  Appeared in IACR Trans. Cryptogr. Hardw. Embed. Syst., Vol 2020, pp.272-299, Jan 2020
• Formal Verification for Security in IoT Devices. 
  
  Authors : Keerthi K., Indrani Roy, Aritra Hazra, Chester Rebeiro
  Appeared in , pp.179-200, Jan 2019
• 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

Awards and Recognitions :View All  |  Back to top

• Best Poster Award, 2019