Παρακολούθηση
Martin Dehnel-Wild
Martin Dehnel-Wild
University of Oxford
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ox.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Component-based formal analysis of 5G-AKA: Channel assumptions and session confusion
C Cremers, M Dehnel-Wild
Network and Distributed System Security Symposium (NDSS), 2019
1202019
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
452019
Security vulnerability in 5G-AKA draft
M Dehnel-Wild, C Cremers
Department of Computer Science, University of Oxford, Tech. Rep, 14-37, 2018
412018
Component-based security under partial compromise
M Dehnel-Wild
University of Oxford, 2018
22018
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5*** Best Paper Award
M Dehnel-Wild, K Milner
2017
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–5