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.
Curriculum Vitae
Contact & Links
PGP Fingerprint:
B7CC 8A88 D3C4 9400 6464 435C 81C2 F596 0D1C 214E