Component-based formal analysis of 5G-AKA: Channel assumptions and session confusion C Cremers, M Dehnel-Wild Internet Society, 2019 | 24 | 2019 |
Secure authentication in the grid: A formal analysis of DNP3 SAv5 C Cremers, M Dehnel-Wild, K Milner Journal of Computer Security 27 (2), 203-232, 2019 | 24 | 2019 |
Security vulnerability in 5G-AKA draft M Dehnel-Wild, C Cremers Department of Computer Science, University of Oxford, Tech. Rep, 14-37, 2018 | 9 | 2018 |
Security vulnerability in 5G-AKA draft (3GPP TS 33.501 draft v0. 7.0) M Dehnel-Wild, C Cremers Department of Computer Science, University of Oxford, 2018 | 5 | 2018 |
Component-based security under partial compromise M Dehnel-Wild University of Oxford, 2018 | | 2018 |
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5*** Best Paper Award M Dehnel-Wild, K Milner | | 2017 |