TY  - RPRT
TI  - A Formal Analysis of 5G Authentication
AU  - David Basin
AU  - Jannik Dreier
AU  - Lucca Hirschi
AU  - Saša Radomirović
AU  - Ralf Sasse
AU  - Vincent Stettler
PY  - 2020
DO  - 10.1145/3243734.3243846
UR  - https://arxiv.org/abs/1806.10360
ID  - 1806.10360
ER  -