Mitziu Echeverria

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 7

Top Topics

Predicate Calculus

Complete Axiomatization

Network Attacks

Physical Activity

Top Venues

Publications

Mitziu Echeverria, Omar Chowdhury
Demystifying the presence of cellular network attacks and misbehaviors. IMC (2022)
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. CoRR (2021)
Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. NDSS (2021)
M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. FMCAD (2020)
Syed Rafiul Hussain, Mitziu Echeverria, Ankush Singla, Omar Chowdhury, Elisa Bertino
Insecure connection bootstrapping in cellular networks: the root of all evil. WiSec (2019)
Syed Rafiul Hussain, Mitziu Echeverria, Omar Chowdhury, Ninghui Li, Elisa Bertino
Privacy Attacks to the 4G and 5G Cellular Paging Protocols Using Side Channel Information. NDSS (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)