The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation.

Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Christopher J. P. Newton

Browse the full AsiaCCS paper archive.