About Me
Publications and Posters
-
FaultMeter: Quantitative Fault Attack Assessment of Block Cipher Software Keerthi K, Chester Rebeiro
Cryptographic Hardware and Embedded Systems 2023 -
Practical Trust Performance Metrics for Block Cipher Evaluation in Automotive Environments Jacob Samuel, Keerthi K, Chester Rebeiro, Werner Schreiber, Geopeter Moothedan, and Ralph Mader
11th European Congress Embedded Real Time Systems 2022 -
FEDS : Fault Attack Exploitability Detection for Software Implementations Keerthi K, Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia
Tenth International Conference on Security, Privacy and Applied Cryptographic Engineering 2020 ( Poster Presentation - Best Poster Award) -
FEDS : Comprehensive Fault Attack Exploitability Detection for Software Implementations of Block Ciphers Keerthi K, Indrani Roy, Chester Rebeiro, Aritra Hazra, Swarup Bhunia
Cryptographic Hardware and Embedded Systems 2020 -
An Algorithmic Approach to Formally Verify an ECC Library
Keerthi K, Chester Rebeiro
2nd ISEA International Conference on Security and Privacy 2019 (Poster presentation - Best Poster Award) -
Bifrost: A Low-Cost Covert Data Exfiltration via Smart Bulb
Keerthi K, Saurav Das, Muhammad Arsath, Sugandha Tiwari, Chester Rebeiro
Shastra TCS Poster Presentation, IIT Madras (Poster presentation) -
Formal Verification for Security in IoT Devices
Keerthi K, Indrani Roy, Chester Rebeiro, Aritra Hazra
Security and Fault Tolerance in Internet of Things (Springer-Book Chapter,2018) -
An Algorithmic Approach to Formally Verify an ECC Library
Keerthi K, Chester Rebeiro, Aritra Hazra
ACM Transactions on Design Automation of Electronic Systems (ACM TODAES, 2018)
Awards & Recognitions
Institute Research Award for the quality of research, awarded by Indian Institute of Technology Madras Huawei Fellowship for Excellence, May 2022 Star TA Award, from Dept. Of Computer Science & Engineering, IIT Madras (Jan -May 2021) Best Poster Award at Poster Presentation session , 10th International Conference on Security, Privacy and Applied Cryptographic Engineering,2020 Third Prize at Applied Research Competition at Cyber Security and Awareness Week (CSAW 2020), New York University. TCS Research Fellowship ( cycle 16 ), 2020 AWSAR Award for one of the top 100 Science story (Rank 41), conducted in India across all scientific fields by Dept. of Science and Technology, Government of India, 2019 Star TA Award, from Dept. Of Computer Science & Engineering, IIT Madras (July - November 2019) Third Prize at Applied Research Competition at Cyber Security and Awareness Week (CSAW 2019), New York University. Best Poster Award at PhD Forum Poster Presentation, 2nd ISEA International Conference on Security and Privacy 2019
Talks
Joint Indo-Japanese Smart City Conference 2023 :"Fault Attack Aware Compilers",March 2023 15th TCS Research Virtual Cafe:"Automatic Detection of Software Vulnerabilities",April 2022 "The Fourth Workshop for Women in Hardware and Systems Security (WISE):"Fault Attack Exploitability Detection for Softwares",December 2020
Curriculum Vitae
Education
IIT Madras
2017 - PresentPosition: PhD Research Scholar
Specialization: Security & PrivacyNIT Puducherry
2015 - 2017Position: Master of Technology
Specialization: Computer Science & EngineeringKerala University
2011 - 2015Degree: Bachelor of Technology
Specialization: Computer Science & Engineering
Working Experience
-
Research Assistant(Jun 2017 - Nov 2017) Project Title: A Formally Verified Multi-precision Arithmetic Library for Cryptographic Applications
Advisors: Dr. Chester Rebeiro and Dr. Aritra Hazra
Sponsoring Agency: CAIR-DRDO
Teaching Assistantship
Operating System (NPTEL): Aug 2020 - Dec 2020
Operating System : Aug 2020 - Dec 2020
Secure Systems Engineering (NPTEL): Jan 2020 - May 2020
Intro. to Computer Programming: Jan 2020 - May 2020
Operating System (NPTEL): Aug 2019 - Dec 2019
Secure Systems Engineering: Aug 2019 - Dec 2019
Network System Security: Jan 2019 - May 2019
Secure Systems Engineering: Aug 2018 - Dec 2018
Intro. to Computer Programming: Jan 2018 - May 2018
Technical Skills
Programming Languages
Python, Java, C, C++, Linux Shell Scripting, SQL
Operating Systems
Linux, Windows XP/7
Hardware Description Language Verilog, Bluespec
Compiler Level Language LLVM
Verification Tools
CBMC, z3
Tools/IDE
Git, LATEX, GDB
Courses Taken at IITM
Applied Cryptography
Program Analysis
Secure System Engineering
CAD for VLSI systems
Introduction to Research
Research in CS
Research Projects
Quantification of Fault Attack Vulnerability Assessment OngoingFault Attack Aware Compiler Completed - TCHES 2020Bifrost : Covert Data Exfiltration from Air-gapped Network via Smart Bulbs Research Project as part of Cyber Security Awareness Week 2018, November 2018A Formally Verified Multi-precision Arithmetic Library for Cryptographic Applications Completed - Funded by CAIR - DRDO Bangalore
Contact Information
- Address: Department of Computer Science & Engineering, IIT Madras, Adyar, Chennai 600036, Tamil Nadu, India