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]
Abstract is missing.