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

Browse the full CCS paper archive.