Imtiaz Karim

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Formal Verification

Visual Sensor Networks

Indoor Localization

Top Venues

USENIX Security Symposium

Publications

Zilin Shen, Imtiaz Karim, Elisa Bertino
Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode. AsiaCCS (2024)
Mirza Masfiqur Rahman, Imtiaz Karim, Elisa Bertino
CellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications. CoRR (2024)
Kazi Samin Mubasshir, Imtiaz Karim, Elisa Bertino
FBSDetector: Fake Base Station and Multi Step Attack Detection in Cellular Networks using Machine Learning. CoRR (2024)
Mirza Masfiqur Rahman, Imtiaz Karim, Elisa Bertino
CellularLint: A Systematic Approach to Identify Inconsistent Behavior in Cellular Network Specifications. USENIX Security Symposium (2024)
Imtiaz Karim, Kazi Samin Mubasshir, Mirza Masfiqur Rahman, Elisa Bertino
SPEC5G: A Dataset for 5G Cellular Network Protocol Analysis. CoRR (2023)
Imtiaz Karim, Abdullah Al Ishtiaq, Syed Rafiul Hussain, Elisa Bertino
BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations. SP (2023)
Imtiaz Karim, Kazi Samin Mubasshir, Mirza Masfiqur Rahman, Elisa Bertino
SPEC5G: A Dataset for 5G Cellular Network Protocol Analysis. IJCNLP (Findings) (2023)
Zilin Shen, Imtiaz Karim, Elisa Bertino
Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode. CoRR (2023)
Hyunwoo Lee, Imtiaz Karim, Ninghui Li, Elisa Bertino
VWAnalyzer: A Systematic Security Analysis Framework for the Voice over WiFi Protocol. AsiaCCS (2022)
Syed Rafiul Hussain, Imtiaz Karim, Abdullah Al Ishtiaq, Omar Chowdhury, Elisa Bertino
Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices. CCS (2021)
Imtiaz Karim, Syed Rafiul Hussain, Elisa Bertino
ProChecker: An Automated Security and Privacy Analysis Framework for 4G LTE Protocol Implementations. ICDCS (2021)
Elisa Bertino, Imtiaz Karim
AI-powered Network Security: Approaches and Research Directions. NSysS (2021)
Imtiaz Karim, Fabrizio Cicala, Syed Rafiul Hussain, Omar Chowdhury, Elisa Bertino
Opening Pandora's box through ATFuzzer: dynamic analysis of AT interface for Android smartphones. ACSAC (2019)
Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, Elisa Bertino
5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol. CCS (2019)
Abdullah Al Zishan, Imtiaz Karim, Sudipta Saha Shubha, Ashikur Rahman
Maximizing heterogeneous coverage in over and under provisioned visual sensor networks. J. Netw. Comput. Appl. 124 (2018)