About Me
details
This QR code actually works and encodes a link to this very website!
Shoutout to Russ Cox for the
implementation.
Also thanks to Danny Engelman for the custom DOM-element implementation, enabling the SVG on hover CSS effect, used to highlight my portrait in the QR code.
I'm currently pursuing my PhD at Mercedes-Benz Tech Innovation GmbH in collaboration with the Institute of Computer Science at Leipzig University.
My research is focused on novel approaches and applications for formal verification techniques in the context of cybersecurity and security protocol verification in general, with an emphasis on automotive security.
Scientific Publications
-
Upcoming PublicationTo be announced
-
Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures under Active Compromise23rd International Conference on Software Engineering and Formal Methods
-
Applications of Formal Verification Techniques for Security in the Context of Automotive Diagnostics - a Literature-SurveyPresentation Report, 12th International Symposium Datamod, Aveiro, Portugal, 2024.