Follow
Rhys Miller
Rhys Miller
University of Surrey
Verified email at surrey.ac.uk
Title
Cited by
Cited by
Year
The 5g key-establishment stack: In-depth formal verification and experimentation
R Miller, I Boureanu, S Wesemeyer, CJP Newton
Proceedings of the 2022 ACM on Asia Conference on Computer and …, 2022
52022
Systematic improvement of access-stratum security in mobile networks
R Miller, I Boureanu, S Wesemeyer, Z Sun, H Zope
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), 542-557, 2023
2023
Proceedings of the 2022 ACM Asia Con-ference on Computer and Communications Security (ASIA CCS'22), May ASIA CCS'22
IC Boureanu, R Miller, S Wesemeyer, CJP Newton
ASIA CCS'22: Proceedings of the 2022 ACM on Asia Conference on Computer and …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–3