Mitziu Echeverria

According to our database, Mitziu Echeverria authored at least 6 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Demystifying the presence of cellular network attacks and misbehaviors.

Mitziu Echeverria, Omar Chowdhury

Proceedings of the 22nd ACM Internet Measurement Conference, 2022

2021

PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification.

Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.

M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Insecure connection bootstrapping in cellular networks: the root of all evil.

Syed Rafiul Hussain, Mitziu Echeverria, Ankush Singla, Omar Chowdhury, Elisa Bertino

Proceedings of the 12th Conference on Security and Privacy in Wireless and Mobile Networks, 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

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

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

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019