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 Cyber­security 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