Employment

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.

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.

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.

Google Sites

Report abuse