An Algorithmic Approach to Formally Verify an ECC Library. - Keerthi K. 002; Chester Rebeiro; Aritra Hazra (ACM Trans. Design Autom. Electr. Syst., 2018)

Formal Verification for Security in IoT Devices. - Keerthi K. 002; Indrani Roy; Aritra Hazra; Chester Rebeiro (Security and Fault Tolerance in Internet of Things, 2019)

FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers. - Keerthi K. 002; Indrani Roy; Chester Rebeiro; Aritra Hazra; Swarup Bhunia (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020)

Secure Compiler Framework to Design Fault Attack Resistant Software. - Keerthi K. 002; Chester Rebeiro (DSN-S, 2023)

FaultMeter: Quantitative Fault Attack Assessment of Block Cipher Software. - Keerthi K. 002; Chester Rebeiro (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023)

FortiFix : A Fault Attack Aware Compiler Framework for Crypto Implementations. - Keerthi K. 002; Chester Rebeiro (ACM Trans. Design Autom. Electr. Syst., 2024)