The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation. - Rhys Miller; Ioana Boureanu; Stephan Wesemeyer; Christopher J. P. Newton (AsiaCCS, 2022)

Systematic Improvement of Access-Stratum Security in Mobile Networks. - Rhys Miller; Ioana Boureanu; Stephan Wesemeyer; Zhili Sun; Hemant Zope (EuroS&P, 2023)