Mitziu Echeverria
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2019–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | IMC | Demystifying the presence of cellular network attacks and misbehaviors. | Mitziu Echeverria, Omar Chowdhury |
| 2021 | NDSS | PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification. | Mitziu Echeverria, Zeeshan Ahmed, Bincheng Wang, M. Fareed Arif, Syed Rafiul Hussain, Omar Chowdhury |
| 2020 | FMCAD | SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. | M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli |
| 2019 | CCS | 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 |
| 2019 | NDSS | 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 |