Imtiaz Karim

Experience

• 

  Daffodil International University-DIU

  Jun 2017 - Jul 2018

  Lecturer
• 

  Purdue University

  Aug 2018 - May 2019

  Graduate Teaching Assistant

  CS 180: Problem Solving and Object-Oriented Programming

• 

  Intel Corporation

  May 2019 - Aug 2019

  Security Researcher Intern

  Intel Product Assurance and Security (iPAS), Offensive Security Research Group (OSR)Manager: Jason. M. FungMentors: Sayak Ray and Arun KanuparthiProject: Security and privacy analysis framework for communication protocol implementations- Proposed a framework –“ProChecker” 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. Show less

• 

  Purdue University

  Aug 2019 - now

  Adviser: Professor Elisa Bertino

  • Postdoctoral Researcher

    Apr 2023 - now

  • Graduate Research Assistant

    Aug 2019 - Apr 2023
• 

  Intel Corporation

  May 2020 - Aug 2020

  Security Researcher Intern

  Intel Product Assurance and Security (iPAS).Project: Symbolic execution of Intel’s Bluetooth controller implementationManager: Jason. M. FungMentors: Sayak Ray, Arun Kanuparthi, and Stephan Heuser- Created a framework to analyze the security and privacy of Intel’s BR/EDR, BLE implementation combining symbolic execution with dynamic simulation to employ a hybrid approach to uncover both protocol and implementation vulnerabilities.- Preliminary implementation is currently deployed in the Link Manager (LM) layer of Intel’s BR/implementation. Show less

• 

  Amazon

  May 2021 - Aug 2021

  Applied Scientist Intern

  Automated Reasoning GroupProject: Retrofitting Domain-Specific Languages with type inference and type checkingManager: Vaibhav SharmaMentor: Saswat Padhi- 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 initial solution as an API for DSL using CVC4 as the backend.