팔로우
Keerthi K
Keerthi K
PhD Research Scholar, IIT Madras
smail.iitm.ac.in의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
212019
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 2020, 272-299, 2020
82020
FaultMeter: Quantitative Fault Attack Assessment of Block Cipher Software
K Keerthi, C Rebeiro
IACR Transactions on Cryptographic Hardware and Embedded Systems, 212-240, 2023
32023
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
Secure Compiler Framework to Design Fault Attack Resistant Software
K Keerthi, C Rebeiro
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023
2023
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–6