Keerthi K
PhD Research Scholar
  • Keerthi K
  • PhD Scholar
  • CSE
  • Email: cs17d013 at cse dot iitm dot ac dot in
  • Google Scholar

About Me

Hi, I am currently pursuing my Ph.D. under the supervision of Prof.Chester Rebeiro in the Department of CSE, Indian Institute of Technology Madras. We are currently working on multiple aspects of Fault Analysis detection on cipher implementation and designing effective countermeasures using formal verification and program analysis techniques.

Curriculum Vitae

  • Education

  • IIT Madras

    2017 - Present

    Position: PhD Research Scholar
    Specialization: Security & Privacy

  • NIT Puducherry

    2015 - 2017

    Position: Master of Technology
    Specialization: Computer Science & Engineering

  • Kerala University

    2011 - 2015

    Degree: 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 Ongoing
  • Fault Attack Aware Compiler Completed - TCHES 2020
  • Bifrost : Covert Data Exfiltration from Air-gapped Network via Smart Bulbs Research Project as part of Cyber Security Awareness Week 2018, November 2018
  • A 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