A Formal Analysis of 5G Authentication. - David A. Basin; Jannik Dreier; Lucca Hirschi; Sasa Radomirovic; Ralf Sasse; Vincent Stettler (CCS, 2018)