Follow
Keerthi K
Keerthi K
PhD Research Scholar, IIT Madras
Verified email at smail.iitm.ac.in - Homepage
Title
Cited by
Cited by
Year
Formal Verification for Security in IoT Devices
K Keerthi, I Roy, A Hazra, C Rebeiro
Security and Fault Tolerance in Internet of Things, 179-200, 2019
102019
FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers
K Keerthi, I Roy, C Rebeiro, A Hazra, S Bhunia
IACR Transactions on Cryptographic Hardware and Embedded Systems, 272-299, 2020
52020
An Algorithmic Approach to Formally Verify an ECC Library
K Keerthi, C Rebeiro, A Hazra
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 23 (5), 2018
12018
Practical Trust× Performance Metrics for Block Cipher Evaluation in Automotive Environments
J Samuel, K Keerthi, C Rebeiro, W Schreiber, G Moothedan, R Mader
11th European Congress Embedded Real Time Systems (ERTS 2022), 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–4