Publications

Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods
Daniel Zelle, Dustin Kern, Timm Lauser, and, Christoph Krauß
In:14th International Conference on Availability, Reliability and Security (ARES), ACM, 2021 (to appear)

In-vehicle detection of targeted CAN bus attacks
Florian Fenzl, Roland Rieke, Andreas Dominik
In: 14th International Conference on Availability, Reliability and Security (ARES) 2021

Attack Surface Assessment for Cybersecurity Engineering in the Automotive Domain
Christian Plappert, Daniel Zelle, Henry Gadacz, Roland Rieke, Dirk Scheuermann and Christoph Krauß
In: 29th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2021)
PDF

Security Analysis of Automotive Protocols
Timm Lauser, Daniel Zelle, Christoph Krauß
In: ACM Computer Science in Cars Symposium (CSCS), 2020

HIP-20: Integration of Vehicle-HSM-Generated Credentials into Plug-and-Charge Infrastructure
Andreas Fuchs, Dustin Kern, Christoph Krauß, Maria Zhdanova, Ronald Heddergott
In: ACM Computer Science in Cars Symposium (CSCS), 2020
PDF

Post-Quantum TLS on Embedded Systems: Integrating and Evaluating Kyber and SPHINCS + with mbed TLS
Kevin Bürstinghaus-Steinbach, Christoph Krauß, Ruben Niederhagen, Michael Schneider
In: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20), 2020
PDF