The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation (2022)
Attributed to:
Academic Centre of Excellence in Cyber Security Research - University of Surrey
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://fmsec.github.io/5gtechsec.github.io/
Type: Conference/Paper/Proceeding/Abstract
Volume: Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (ASIA CCS '22)
Issue: -
ISSN: 11111111