A Formal Analysis of 5G Authentication.

David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler

Browse the full CCS paper archive.