Keerthi K.

Affiliations:
  • Indian Institute of Technology Madras, India


According to our database1, Keerthi K. authored at least 6 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
<tt>FortiFix</tt> : A Fault Attack Aware Compiler Framework for Crypto Implementations.
ACM Trans. Design Autom. Electr. Syst., 2024

2023
FaultMeter: Quantitative Fault Attack Assessment of Block Cipher Software.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2023

Secure Compiler Framework to Design Fault Attack Resistant Software.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2020
FEDS: Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020

2019
Formal Verification for Security in IoT Devices.
Proceedings of the Security and Fault Tolerance in Internet of Things, 2019

2018
An Algorithmic Approach to Formally Verify an ECC Library.
ACM Trans. Design Autom. Electr. Syst., 2018


  Loading...