Stefan Marksteiner, Industrial Doctoral Student
I am a Technology Scout for Cyber Security with the Integrated and Advanced Software Solutions department at AVL List GmbH, an automotive engineering company with around 11k employees worldwide. My current task is the technical development lead of our automated cybersecurity testing platform, as well as to coordinate the research activities for the (automotive) cybersecurity domain. Before that, I was a key researcher with the Competence Group Cyber Security and Defence at the DIGITAL – Institute of Information and Communication Technologies of JOANNEUM RESEARCH. My further interests are security models, network security and cryptography. I have more than 15 years of experience in ICT security and earned a master's degree with distinction in "IT Technologies & business informatics" with the thesis "An approach to Securing IPsec with Quantum Key Distribution". I conducted scientific studies and engineering conceptualizing work on cyber-physical systems, as well as published various papers on diverse ICT security topics. I am a Certified Ethical Hacker and earned an ISO 27001 Information Security Manager certificate. Furthermore, I am a member of the Austrian Standards Institute working group for secure web applications ISO's technical committee 22/SC32/WG11 (responsible WG for developing ISO 21434), as well as the IEEE, the ACM and the SAE, and have served as scientific conference and journal reviewer and as evaluator for an H2020 project's open call. I'm currently also a technical expert project reviewer for the European Commission's Chip-JU research program. Also, I was teachning computer networks as a part-time lecturer at FH Campus02 University of Applied Sciences (2019-2024). Currently, I'm pursuing a PhD study on learning-based cybersecurity testing at the Mälardalen University.
Main research focus:
- Cybersecurity Testing
- Test case generation
- Security standards
- Automotive systems
- Network protocols
- Applying formal methods to cybersecurity analysis
STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation (Nov 2025) Tanmay Khule , Stefan Marksteiner, Jose Alguindigue , Hannes Fuchs , Sebastian Fischmeister , Apurva Narayan 23rd ESCAR Europe 2025 (ESCAR EUROPE'25)
Formal Methods-Based Security Testing Utilizing Threat Modeling, Automata Learning, and Model Checking (Oct 2025) Stefan Marksteiner
Actors for Timing Analysis of Distributed Redundant Controllers (Sep 2025) Marjan Sirjani, Edward Lee, Zahra Moezkarimi, Bahman Pourvatan , Bjarne Johansson, Stefan Marksteiner, Alessandro Papadopoulos Gul Aga Festschrift (GulFest)
Learning single and compound-protocol automata and checking behavioral equivalences (Apr 2025) Stefan Marksteiner, David Schögler , Marjan Sirjani, Mikael Sjödin International Journal on Software Tools for Technology Transfer (STTT)
Black-box protocol testing using Rebeca and Automata Learning (Mar 2025) Stefan Marksteiner, Mikael Sjödin Marjan Festschrift (part of FSEN 2025) (MarjanFest)
AVATAR: Autonomous Vehicle Assessment through Testing of Adversarial Patches in Real-time (Aug 2024) Abhijith Sharma , Apurva Narayan , Nasser Lashgarian Azad , Sebastian Fischmeister , Stefan Marksteiner IEEE Transactions on Intelligent Vehicles (T-IV)