5GReasoner: A Property-Directed Security and Privacy Analysis Framework for 5G Cellular Network Protocol

Year
2019
Type(s)
Author(s)
Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, and Elisa Bertino
Source
To appear in the 26th ACM Conference on Computer and Communications Security (CCS), 2019
PDF