Publications
Number of publications matching the search criterion: 6
Licentiate Thesis (1)
Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning (Apr 2024) Stefan Marksteiner
Journal article (2)
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 (3)
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)
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)
