@misc{indiciaeeb87874a541b,
  title = {A Formal Analysis of 5G Authentication},
  author = {David Basin and Jannik Dreier and Lucca Hirschi and Saša Radomirović and Ralf Sasse and Vincent Stettler},
  year = {2020},
  doi = {10.1145/3243734.3243846},
  url = {https://arxiv.org/abs/1806.10360},
  note = {Source identifier: 1806.10360}
}