Martin Dehnel-Wild

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Rights Management

Password Authentication

Top Venues

J. Comput. Secur.

Publications

Cas Cremers, Martin Dehnel-Wild, Kevin Milner
Secure authentication in the grid: A formal analysis of DNP3 SAv5. J. Comput. Secur. 27 (2) (2019)
Cas Cremers, Martin Dehnel-Wild
Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion. NDSS (2019)
Cas Cremers, Martin Dehnel-Wild, Kevin Milner
Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5. ESORICS (1) (2017)