The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation (2022)

First Author: Miller R.
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