About Me
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
-
Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network
Architectures under Active Compromise
Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic
23rd International Conference on Software Engineering and Formal Methods, Toledo, Spain, 2025
[DOI (Springer LNCS)] | [PDF (Preprint)] -
Applications of Formal Verification Techniques for Security in the Context of Automotive
Diagnostics - a Literature-Survey
Julius Figge, David Knuplesch
Presentation Report, 12th International Symposium Datamod, Aveiro, Portugal, 2024.
[PDF (Workshop Website)] | [PDF (Direct Mirror)]
Contact & Links
LinkedIn | Google Scholar | GitHub (Primary) GitHub (Secondary)