Security Analysis of Automotive Protocols. - Timm Lauser; Daniel Zelle; Christoph Krauß (CSCS, 2020)

Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods. - Daniel Zelle; Timm Lauser; Dustin Kern; Christoph Krauß (ARES, 2021)

Integrating Privacy into the Electric Vehicle Charging Architecture. - Dustin Kern; Timm Lauser; Christoph Krauß (Proc. Priv. Enhancing Technol., 2022)

Formal Security Analysis of Vehicle Diagnostic Protocols. - Timm Lauser; Christoph Krauß (ARES, 2023)

QuantumCharge: Post-Quantum Cryptography for Electric Vehicle Charging. - Dustin Kern; Christoph Krauß; Timm Lauser; Nouri Alnahawi; Alexander Wiesmaier; Ruben Niederhagen (IACR Cryptol. ePrint Arch., 2023)

(Un)authenticated Diagnostic Services: A Practical Evaluation of Vulnerabilities in the UDS Authentication Service. - Timm Lauser; Gideon Munoz Molto; Christoph Krauß (CSCS, 2024)

Security Protocols for Ethernet-Based In-Vehicle Communication. - Timm Lauser; Daniel Zelle; Dustin Kern; Christoph Krauß; Lars Völker (VNC, 2024)

Data Distribution and Redistribution - A formal and practical Analysis of the DDS Security Standard. - Timm Lauser; Maximilian Müller; Ingmar Baumgart; Christoph Krauß (SAC, 2025)