Component-based security under partial compromise. - Martin Dehnel-Wild (2018)

Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion. - Cas Cremers; Martin Dehnel-Wild (NDSS, 2019)

Secure authentication in the grid: A formal analysis of DNP3 SAv5. - Cas Cremers; Martin Dehnel-Wild; Kevin Milner (J. Comput. Secur., 2019)