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
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)
Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning (Apr 2024) Stefan Marksteiner
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling (Dec 2023) Stefan Marksteiner, Christoph Schmittner , Korbinian Christl , Dejan Nickovic , Mikael Sjödin, Marjan Sirjani 7th ACM Computer Science in Cars Symposium (CSCS'23)
A Global Survey of Standardization and Industry Practices of Automotive Cybersecurity Validation and Verification Testing Processes and Tools (Nov 2023) Andrew Roberts , Stefan Marksteiner, Mujdat Soyturk , Berkay Yaman , Yi Yang SAE International Journal of Connected and Automated Vehicles (JCAV)
Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example (Oct 2023) Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin 8th International Conference on Engineering of Computer-based Systems (ECBS2023)
A Systematic Approach to Automotive Security (Mar 2023) Masoud Ebrahimi , Stefan Marksteiner, Dejan Nickovic , Roderick Bloem , David Schögler , Philipp Eisner , Samuel Sprung , Thomas Schober , Sebastian Chlup , Christoph Schmittner , Sandra König 25th International Symposium On Formal Methods (FM'23)