| 2026 | INFOCOM | VWAttacker: A Systematic Security Testing Framework for Voice over WiFi User Equipments. | Imtiaz Karim, Hyunwoo Lee, Hassan Asghar, Kazi Samin Mubasshir, Seulgi Han, Mashroor Hasan Bhuiyan, Elisa Bertino |
| 2026 | NDSS | WCDCAnalyzer: Scalable Security Analysis of Wi-Fi Certified Device Connectivity Protocols. | Zilin Shen, Imtiaz Karim, Elisa Bertino |
| 2025 | DAC | Security Opportunities and Challenges for Disaggregated Architectures (Invited). | Elisa Bertino, Imtiaz Karim, Ashish Kundu |
| 2025 | ICNP | Poster: Automated Security Property Extraction from Protocol Specifications. | Hassan Asghar, Myeong-Ha Hwang, Jeonghyun Joo, Heewoon Kang, YooJin Kwon, Kazi Samin Mubasshir, Imtiaz Karim, Elisa Bertino, Hyunwoo Lee |
| 2024 | AsiaCCS | Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode. | Zilin Shen, Imtiaz Karim, Elisa Bertino |
| 2023 | IJCNLP | SPEC5G: A Dataset for 5G Cellular Network Protocol Analysis. | Imtiaz Karim, Kazi Samin Mubasshir, Mirza Masfiqur Rahman, Elisa Bertino |
| 2023 | SP | BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations. | Imtiaz Karim, Abdullah Al Ishtiaq, Syed Rafiul Hussain, Elisa Bertino |
| 2022 | AsiaCCS | VWAnalyzer: A Systematic Security Analysis Framework for the Voice over WiFi Protocol. | Hyunwoo Lee, Imtiaz Karim, Ninghui Li, Elisa Bertino |
| 2021 | CCS | Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices. | Syed Rafiul Hussain, Imtiaz Karim, Abdullah Al Ishtiaq, Omar Chowdhury, Elisa Bertino |
| 2021 | ICDCS | ProChecker: An Automated Security and Privacy Analysis Framework for 4G LTE Protocol Implementations. | Imtiaz Karim, Syed Rafiul Hussain, Elisa Bertino |
| 2019 | ACSAC | Opening Pandora's box through ATFuzzer: dynamic analysis of AT interface for Android smartphones. | Imtiaz Karim, Fabrizio Cicala, Syed Rafiul Hussain, Omar Chowdhury, Elisa Bertino |
| 2019 | CCS | 5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol. | Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, Elisa Bertino |