Publications
Number of publications matching the search criterion: 12
Licentiate Thesis (1)
Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning (Apr 2024) Stefan Marksteiner
Book chapter (2)
Black-box protocol testing using Rebeca and Automata Learning (Mar 2025) Stefan Marksteiner, Mikael Sjödin Marjan Festschrift (part of FSEN 2025) (MarjanFest)
Approaches For Automating Cybersecurity Testing Of Connected Vehicles (Jun 2024) Stefan Marksteiner, Peter Priller , Markus Wolf
Journal article (4)
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)
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)
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)
Wireless Security in Vehicular Ad Hoc Networks: A Survey (Aug 2022) Thomas Blazek , Fjolla Ademaj , Stefan Marksteiner, Peter Priller , Hans-Peter Bernhard SAE International Journal of Connected and Automated Vehicles (JCAV)
Conference/Workshop Paper (5)
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)
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)
Zeroth-order optimization attacks on deep reinforcement learning-based lane changing algorithms for autonomous vehicles (Nov 2023) -- Best Paper Award-- Dayu Zhang , Nasser Lashgarian Azad , Sebastian Fischmeister , Stefan Marksteiner 20th international conference on informatics in control, automation and robotics (ICINICO 2023)
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)
