Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, Elisa Bertino. 5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol. In Lorenzo Cavallaro, Johannes Kinder, Xiaofeng Wang 0001, Jonathan Katz, editors, Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. pages 669-684, ACM, 2019. [doi]
@inproceedings{HussainEKCB19,
title = {5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol},
author = {Syed Rafiul Hussain and Mitziu Echeverria and Imtiaz Karim and Omar Chowdhury and Elisa Bertino},
year = {2019},
doi = {10.1145/3319535.3354263},
url = {https://doi.org/10.1145/3319535.3354263},
researchr = {https://researchr.org/publication/HussainEKCB19},
cites = {0},
citedby = {0},
pages = {669-684},
booktitle = {Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019},
editor = {Lorenzo Cavallaro and Johannes Kinder and Xiaofeng Wang 0001 and Jonathan Katz},
publisher = {ACM},
isbn = {978-1-4503-6747-9},
}