Items where Subject is "Research Areas [2025] > RA8: Critical Infrastructure and Embedded Systems"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: C | K
Number of items at this level: 3.


Cremers, Cas and Dehnel-Wild, Martin
(2018) Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion.
In: Network and Distributed Systems Security (NDSS) Symposium 2019, 24-27 February 2019, San Diego, CA, USA.
Conference: NDSS - Network and Distributed System Security Symposium
(In Press)

Cremers, Cas and Dehnel-Wild, Martin and Milner, Kevin
(2018) Secure Authentication in the Grid: A Formal Analysis of DNP3 SAv5.
Journal of Computer Security.
(In Press)


Krupp, Johannes and Karami, Mohammad and Rossow, Christian and McCoy, Damon and Backes, Michael
(2017) Linking Amplification DDoS Attacks to Booter Services.
In: International Symposium on Research in Attacks, Intrusions, and Defenses, September 18-20, 2017, Atlanta, GA, USA.
Conference: RAID - International Symposium on Recent Advances in Intrusion Detection

This list was generated on Sun Jan 20 00:02:26 2019 CET.