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 (CCS, 2019)

Privacy Attacks to the 4G and 5G Cellular Paging Protocols Using Side Channel Information. - Syed Rafiul Hussain; Mitziu Echeverria; Omar Chowdhury; Ninghui Li; Elisa Bertino (NDSS, 2019)

Insecure connection bootstrapping in cellular networks: the root of all evil. - Syed Rafiul Hussain; Mitziu Echeverria; Ankush Singla; Omar Chowdhury; Elisa Bertino (WiSec, 2019)

SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. - M. Fareed Arif; Daniel Larraz; Mitziu Echeverria; Andrew Reynolds 001; Omar Chowdhury; Cesare Tinelli (FMCAD, 2020)

PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. - Mitziu Echeverria; Zeeshan Ahmed; Bincheng Wang; M. Fareed Arif; Syed Rafiul Hussain; Omar Chowdhury (NDSS, 2021)

Demystifying the presence of cellular network attacks and misbehaviors. - Mitziu Echeverria; Omar Chowdhury (IMC, 2022)

On the Performance and Consistency Trade-off of the eSIM M2M Remote Provisioning Protocol. - Mitziu Echeverria; Aliakbar Sadeghi; G. M. Tasnim Alam; Omar Chowdhury (WISEC, 2025)