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
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)
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (Jul 2024) Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin The 19th International Conference on Availability, Reliability and Security (ARES 2024) (ARES 2024)
Approaches For Automating Cybersecurity Testing Of Connected Vehicles (Jun 2024) Stefan Marksteiner, Peter Priller , Markus Wolf
Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning (Apr 2024) Stefan Marksteiner