Login / Signup
Rhys Miller
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Model Checker
Location Management
Formal Verification
Temporal Logic
Top Venues
EuroS&P
AsiaCCS
</>
Publications
</>
Rhys Miller
,
Ioana Boureanu
,
Stephan Wesemeyer
,
Zhili Sun
,
Hemant Zope
Systematic Improvement of Access-Stratum Security in Mobile Networks.
EuroS&P
(2023)
Rhys Miller
,
Ioana Boureanu
,
Stephan Wesemeyer
,
Christopher J. P. Newton
The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation.
AsiaCCS
(2022)