Employment

Graduate Research Assistant

  • Purdue University, West Lafayette (Fall 19 - )

  • Advisor: Dr. Elisa Bertino

Applied Scientist Intern, Amazon

  • Automated Reasoning Group (Summer 2021)

  • Manager: Vaibhav Sharma

  • Mentor: Saswat Padhi

  • Project: Retrofitting Domain-Specific Languages with type inference and type checking

  • Designed a generic type inference solution for DSLs such as AWS IoT services such as, AWS IoT Events, AWS IoT Core, AWS IoT SiteWise, AWS IoT Analytics that does type inference\checking using SMT solvers as a backend.

  • Implemented the solution as an API for AWS IoT Events DSL using CVC4 as the backend.

Security Researcher Intern, Intel Corporation

  • Intel Product Assurance and Security (IPAS) (Summer 20)

  • Manager: Jason Fung

  • Mentors: Arun Kanuparthi, Sayak Ray, and Stephan Heuser

  • Project: Utilizing symbolic execution for property-guided security and privacy testing in communication protocol implementations

  • Created a framework for property-guided security and privacy testing of communication protocol implementations. The framework utilizes symbolic execution with dynamic simulation to employ a hybrid approach to uncover both protocol and implementation vulnerabilities.

  • Initially, it is deployed to the Link Manager (LM) layer of Intel's BR/EDR and BLE implementations.

Security Researcher Intern, Intel Corporation

  • Intel Product Assurance and Security (IPAS) (Summer 19)

  • Manager: Jason Fung

  • Mentors: Arun Kanuparthi, Sayak Ray

  • Project: Security and privacy analysis framework for communication protocol implementations

  • Proposed a framework to formally verify commercial communication protocol implementations. Part of the framework is a novel model extraction tool that can be applied to any communication protocol implementation to extract a semantic model of the implementation. The framework is deployed in Intel's 4G /5G implementation.