Rhys Miller, Ioana Boureanu, Stephan Wesemeyer, Christopher J. P. Newton. The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation. In Yuji Suga, Kouichi Sakurai, Xuhua Ding, Kazue Sako, editors, ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022 - 3 June 2022. pages 237-251, ACM, 2022. [doi]
@inproceedings{MillerBWN22,
title = {The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation},
author = {Rhys Miller and Ioana Boureanu and Stephan Wesemeyer and Christopher J. P. Newton},
year = {2022},
doi = {10.1145/3488932.3517421},
url = {https://doi.org/10.1145/3488932.3517421},
researchr = {https://researchr.org/publication/MillerBWN22},
cites = {0},
citedby = {0},
pages = {237-251},
booktitle = {ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022 - 3 June 2022},
editor = {Yuji Suga and Kouichi Sakurai and Xuhua Ding and Kazue Sako},
publisher = {ACM},
isbn = {978-1-4503-9140-5},
}