Education

Purdue University, West Lafayette, IN

• Ph.D. in Computer Science        Fall  2018 - Summer 2023 

• GPA: 4.00/4.00

• Thesis:  A Systematic Framework for Analyzing The Security And Privacy of Wireless Communication

• Advisor: Dr. Elisa Bertino  

• Thesis committee: Dr. Ninghui Li, Dr. Sonia Fahmy, Dr. Dave Tian.

Bangladesh University of Engineering and Technology, Dhaka, Bangladesh

• B.Sc. in Computer Science and Engineering    (Feb 2013 - Sep 2017) 

• Cumulative GPA: 3.74/4.0 (Senior Year GPA 3.925/4.0) 

• Rank 18th out of 150 Students

• Thesis topic: Heterogeneous Coverage in Visual Sensors Networks

• Adviser: Dr. A.K.M. Ashikur Rahman

Employment

Postdoctoral Researcher

• Purdue University, West Lafayette   (Summer 23-  present)

• Advisor: Dr. Elisa Bertino 

Graduate Research Assistant

• Purdue University, West Lafayette   (Fall 19 -  Spring 23)

• 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.