A Formal Analysis of 5G Authentication
- Basin, David ETH Zurich, Zurich, Switzerland
- Dreier, Jannik LORIA, CNRS, Inria, Université de Lorraine, Nancy, France
- Hirschi, Lucca ETH Zurich, Zurich, Switzerland
- Radomirovic, Saša University of Dundee, Dundee, United Kingdom
- Sasse, Ralf ETH Zurich, Zurich, Switzerland
- Stettler, Vincent ETH Zurich, Zurich, Switzerland
- 2018-10-15
Published in:
- Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. - ACM. - 2018
- Language
-
- English
- Open access status
- green
- Identifiers
- Persistent URL
- https://sonar.rero.ch/global/documents/274865
Statistics
Document views: 71
File downloads:
- Full-text: 0