Member Profile : Keerthi K.

Keerthi K.

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

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

Jan 2022 - Apr 2022	:	- Secure Systems Engineering (CS6570)
Aug 2021 - Dec 2021	:	- Operating Systems (CS3500)
Feb 2021 - May 2021	:	- Secure Systems Engineering (CS6570)
Aug 2020 - Dec 2020	:	- Operating Systems (CS3500)
Jan 2020 - May 2020	:	- Introduction to Programming (CS1100)

Department of Computer Science & Engineering