| 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 | 166 | 2019 |
| 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 | 143 | 2019 |
| 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 | 55 | 2019 |
| 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 | 20 | 2021 |
| 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 | 20 | 2020 |
| 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 |
Omar Haider ChowdhuryAssociate Professor of CS at Stony Brook University在 cs.stonybrook.edu 的电子邮件经过验证
