| 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 | 21 | 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 | 8 | 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 | 3 | 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 | 1 | 2018 |
| 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 |
Chester RebeiroIndian Institute of Technology MadrasVerified email at cs.columbia.edu
