| 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 | 24 | 2019 |
| 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 | 10 | 2020 |
| FaultMeter: Quantitative Fault Attack Assessment of Block Cipher Software K Keerthi, C Rebeiro IACR Transactions on Cryptographic Hardware and Embedded Systems, 212-240, 2023 | 4 | 2023 |
| 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 | 2 | 2018 |
| 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 | 1 | 2022 |
| Automated Security Assessment For Fault Injection Attacks And Improper Realizations Of Embedded Crypto Software K KEERTHI Chennai, 2024 | | 2024 |
| FortiFix : A Fault Attack Aware Compiler Framework for Crypto Implementations. K Keerthi, C Rebeiro ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 29 (5), 1--18, 2024 | | 2024 |
| 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 |
| Bifröst : Covert Data Exfiltration from Air-gapped Network via Smart Bulbs M Arsath KF, S Das, K K, S Tiwari https://muhammadarsath.github.io/pdf/final_csaw.pdf, 0 | | |
Chester RebeiroIndian Institute of Technology MadrasVerified email at cs.columbia.edu
