Follow
Mitziu Echeverria
Mitziu Echeverria
PhD Candidate
Verified email at uiowa.edu
Title
Cited by
Cited by
Year
Privacy attacks to the 4G and 5G cellular paging protocols using side channel information
SR Hussain, M Echeverria, O Chowdhury, N Li, E Bertino
Network and distributed systems security (NDSS) symposium2019, 2019
1592019
5GReasoner: A property-directed security and privacy analysis framework for 5G cellular network protocol
SR Hussain, M Echeverria, I Karim, O Chowdhury, E Bertino
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
1292019
Insecure connection bootstrapping in cellular networks: the root of all evil
SR Hussain, M Echeverria, A Singla, O Chowdhury, E Bertino
Proceedings of the 12th conference on security and privacy in wireless and …, 2019
552019
Phoenix: Device-centric cellular network protocol monitoring using runtime verification
M Echeverria, Z Ahmed, B Wang, MF Arif, SR Hussain, O Chowdhury
arXiv preprint arXiv:2101.00328, 2021
202021
SYSLITE: syntax-guided synthesis of PLTL formulas from finite traces
MF Arif, D Larraz, M Echeverria, A Reynolds, O Chowdhury, C Tinelli
# PLACEHOLDER_PARENT_METADATA_VALUE# 1, 93-103, 2020
182020
Applying Automated Reasoning to Analyze and Protect Cellular Network Protocols
M Echeverria
The University of Iowa, 2023
2023
Demystifying the presence of cellular network attacks and misbehaviors
M Echeverria, O Chowdhury
Proceedings of the 22nd ACM Internet Measurement Conference, 742-743, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–7