The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Rhys Miller' in GoogleThis author has not been identified. Look up 'Ioana Boureanu' in GoogleThis author has not been identified. Look up 'Stephan Wesemeyer' in GoogleThis author has not been identified. Look up 'Christopher J. P. Newton' in Google

runs on WebDSL