Items where Author is "Dehnel-Wild, Martin"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 3.

Conference or Workshop Item (A Paper)

Cremers, Cas and Dehnel-Wild, Martin
(2019) Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion.
In: Network and Distributed Systems Security (NDSS) Symposium 2019, 24-27 February 2019, San Diego, CA, USA.
Conference: NDSS Network and Distributed System Security Symposium
(In Press)

Cremers, Cas and Dehnel-Wild, Martin and Milner, Kevin
(2017) Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5.
In: 22nd European Symposium on Research in Computer Security (ESORICS 2017).
Conference: ESORICS European Symposium On Research In Computer Security

Article

Cremers, Cas and Dehnel-Wild, Martin and Milner, Kevin
(2019) Secure Authentication in the Grid: A Formal Analysis of DNP3 SAv5.
Journal of Computer Security, 27 (2). pp. 203-232.

This list was generated on Thu Nov 21 13:07:14 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.