Martin Dehnel-Wild

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Secure authentication in the grid: A formal analysis of DNP3 SAv5.

[BibT_eX]

[DOI]

J. Comput. Secur., 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