Подписаться
Mitziu Echeverria
Mitziu Echeverria
PhD Candidate
Подтвержден адрес электронной почты в домене uiowa.edu
Название
Процитировано
Процитировано
Год
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
1622019
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
1312019
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–7