Martin Dehnel-Wild

According to our database¹, Martin Dehnel-Wild authored at least 3 papers between 2017 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018

Component-based security under partial compromise.

[BibT_eX]

[DOI]

PhD thesis, 2018

2017

Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2017, 2017