About me

I am an Assistant Professor and a founding member of Purdue Systems and Software Security (PurS3) Lab at Purdue University in the Electrical and Computer Engineering Department.

I am interested in designing principled yet practical solutions to system security problems. I work on the problems of vulnerability detection, prevention, and mechanisms for developing secure systems. My solutions have a flavor of static/dynamic program analysis, fuzzing, type systems, language-based techniques, machine learning, or a combination of the above.


📣 I'm looking for PostDocs to join our group.

We currently work on various areas of system security, such as Embedded systems, Bootloaders, static and dynamic program analysis. Refer Research for current research directions.

If you are interested in joining our lab, please do the following:

  • Send me a brief email with your CV attached.
  • Briefly describe why you want to join our group and include (0xF278EE379830) in the subject line.

My research resulted in various Open-source security tools and several Common Vulnerability Exposures (CVEs) in critical system software such as kernel drivers and bootloaders.

Recent News

  • Dynodroid got Test of Time Award at FSE 2023.
  • Amazon ARA Award (Fall 2022) for Security Verification of CI Workflows.
  • EMNEST got accepted at ASE 2023.