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

Year

2019

Type(s)

Conference proceedings

Author(s)

Syed Rafiul Hussain, Mitziu Echeverria, Imtiaz Karim, Omar Chowdhury, and Elisa Bertino

Source

The 26th ACM Conference on Computer and Communications Security (CCS), 2019