Stefan Marksteiner, Other
Stefan Marksteiner is a Cyber Security Technology Scout at AVL List GmbH, where he leads the technical development of an automated cybersecurity testing platform and coordinates research activities in automotive cybersecurity. His work builds on more than fifteen years of professional and research experience in ICT security, with prior appointments as a key researcher in the Cyber Security and Defence group at JOANNEUM RESEARCH DIGITAL. He holds a master’s degree with distinction in IT Technologies & Business Informatics, focusing on securing IPsec through Quantum Key Distribution. Marksteiner recently completed his PhD at Mälardalen University, where his doctoral dissertation, Formal Methods‑based Security Testing Utilizing Threat Modeling, Automata Learning, and Model Checking (2025), advances rigorous approaches to automated and learning‑based cybersecurity testing. His research spans cybersecurity testing, threat modeling, protocol learning, digital twins, formal methods, and the security of automotive and cyber‑physical systems, with publications in leading venues including ARES, ESCAR Europe, ACM conferences, Springer LNCS, and SAE journals. Recent work includes contributions to automated attack‑tree‑based test generation and learning‑based behavioral modeling of communication protocols, as well as collaborative research on cybersecurity validation processes across the automotive industry. His co-authored publications and collaborations include researchers from Mälardalen University, AIT, Virtual Vehicle, Silicon Austria Labs, and international partners. Marksteiner serves as a reviewer for scientific conferences and journals and participates in several standardization and professional bodies, including ISO TC22/SC32/WG11 (ISO 21434) and (pastly) the Austrian Standards Institute working group for secure web applications. He is a Certified Ethical Hacker and ISO 27001 Information Security Manager, and acts as a technical expert project reviewer for the European Commission’s Chips JU research program. From 2019 to 2024, he taught computer networks as a part‑time lecturer at FH Campus 02 University of Applied Sciences in Graz, Austria.
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)