Martin Dehnel-Wild
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2017–2019
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | NDSS | Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion. | Cas Cremers, Martin Dehnel-Wild |
| 2017 | ESORICS | Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5. | Cas Cremers, Martin Dehnel-Wild, Kevin Milner |