Stefan Marksteiner

42 papers B 5Journal 21Unranked 16
YearRankTypeTitle / Venue / Authors
2026 — conf
Actors for Timing Analysis of Distributed Redundant Controllers.
Concurrent Programming, Open Systems and Formal Methods
Marjan Sirjani, Edward A. Lee, Zahra Moezkarimi, Bahman Pourvatan, Bjarne Johansson, Stefan Marksteiner, Alessandro V. Papadopoulos
2025 J jnl
AVATAR: Autonomous Vehicle Assessment Through Testing of Adversarial Patches in Real-Time.
IEEE Trans. Intell. Veh.
Abhijith Sharma, Apurva Narayan, Nasser Lashgarian Azad, Sebastian Fischmeister, Stefan Marksteiner
2025 — conf
Black-Box Protocol Testing Using Rebeca and Automata Learning.
Rebeca for Actor Analysis in Action
Stefan Marksteiner, Mikael Sjödin
2025 J jnl
Learn, Check, Test - Security Testing Using Automata Learning and Model Checking.
CoRR
Stefan Marksteiner, Mikael Sjödin, Marjan Sirjani
2025 J jnl
Learning single and compound-protocol automata and checking behavioral equivalences.
Int. J. Softw. Tools Technol. Transf.
Stefan Marksteiner, David Schögler, Marjan Sirjani, Mikael Sjödin
2025 J jnl
STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation.
CoRR
Tanmay Khule, Stefan Marksteiner, Jose Alguindigue, Hannes Fuchs, Sebastian Fischmeister, Apurva Narayan
2024 B conf
Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents.
ARES
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
2023 B conf
A Systematic Approach to Automotive Security.
FM
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
2023 J jnl
A Systematic Approach to Automotive Security.
CoRR
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
2023 — conf
Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example.
ECBS
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
2023 — conf
Zeroth-Order Optimization Attacks on Deep Reinforcement Learning-Based Lane Changing Algorithms for Autonomous Vehicles.
ICINCO (1)
Dayu Zhang, Nasser Lashgarian Azad, Sebastian Fischmeister, Stefan Marksteiner
2021 — conf
A Model-Driven Methodology for Automotive Cybersecurity Test Case Generation.
EuroS&P Workshops
Stefan Marksteiner, Peter Priller
2021 J jnl
A Model-Driven Methodology for Automotive Cybersecurity Test Case Generation.
CoRR
Stefan Marksteiner, Peter Priller
2021 — conf
A Process to Facilitate Automated Automotive Cybersecurity Testing.
VTC Spring
Stefan Marksteiner, Nadja Marko, Andre Smulders, Stelios Karagiannis, Florian Stahl, Hayk Hamazaryan, Rupert Schlick, Stefan Kraxberger, Alexandr Vasenev
2021 J jnl
A Process to Facilitate Automated Automotive Cybersecurity Testing.
CoRR
Stefan Marksteiner, Nadja Marko, Andre Smulders, Stelios Karagiannis, Florian Stahl, Hayk Hamazaryan, Rupert Schlick, Stefan Kraxberger, Alexandr Vasenev
2021 B conf
An Agnostic Domain Specific Language for Implementing Attacks in an Automotive Use Case.
ARES
Christian Wolschke, Stefan Marksteiner, Tobias Braun, Markus Wolf
2021 J jnl
An Agnostic Domain Specific Language for Implementing Attacks in an Automotive Use Case.
CoRR
Christian Wolschke, Stefan Marksteiner, Tobias Braun, Markus Wolf
2021 J jnl
Automatically Determining a Network Reconnaissance Scope Using Passive Scanning Techniques.
CoRR
Stefan Marksteiner, Bernhard Jandl-Scherf, Harald Lernbeiß
2021 — conf
Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.
SAFECOMP Workshops
Nadja Marko, Joaquim Maria Castella Triginer, Christoph Striecks, Tobias Braun, Reinhard Schwarz, Stefan Marksteiner, Alexandr Vasenev, Joerg Kemmerich, Hayk Hamazaryan, Lijun Shan, Claire Loiseaux
2021 — conf
SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems.
DSN Workshops
Christian Wolschke, Behrooz Sangchoolie, Jacob Simon, Stefan Marksteiner, Tobias Braun, Hayk Hamazaryan
2021 J jnl
SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems.
CoRR
Christian Wolschke, Behrooz Sangchoolie, Jacob Simon, Stefan Marksteiner, Tobias Braun, Hayk Hamazaryan
2021 B conf
Steering Drivers of Change: Maximising Benefits of Trustworthy IoT.
EuroSPI
Omar Veledar, Eric Armengaud, Leo Happ Botler, Violeta Damjanovic-Behrendt, Christian Derler, Stefan Jaksic, Lukas Krammer, Christian Lettner, Georg Macher, Stefan Marksteiner, Andreas Martin, Martin Matschnig, Peter Priller, Sebastian Ramacher, Kay Römer, Christoph Schmittner, Christina Tiefnig, Heribert Vallant, Heinz Weiskirchner, Mario Drobics
2021 — conf
Using Cyber Digital Twins for Automated Automotive Cybersecurity Testing.
EuroS&P Workshops
Stefan Marksteiner, Slava Bronfman, Markus Wolf, Eddie Lazebnik
2021 J jnl
Using Cyber Digital Twins for Automated Automotive Cybersecurity Testing.
CoRR
Stefan Marksteiner, Slava Bronfman, Markus Wolf, Eddie Lazebnik
2019 — conf
Approaching the Automation of Cyber Security Testing of Connected Vehicles.
CECC
Stefan Marksteiner, Zhendong Ma
2019 J jnl
Approaching the Automation of Cyber Security Testing of Connected Vehicles.
CoRR
Stefan Marksteiner, Zhendong Ma
2019 — conf
Automatically Determining a Network Reconnaissance Scope Using Passive Scanning Techniques.
ICICT (2)
Stefan Marksteiner, Bernhard Jandl-Scherf, Harald Lernbeiß
2019 J jnl
Cyber security requirements engineering for low-voltage distribution smart grid architectures using threat modeling.
J. Inf. Secur. Appl.
Stefan Marksteiner, Heribert Vallant, Kai Nahrgang
2019 — conf
Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing.
CECC
Stefan Marksteiner, Rudolf Ramler, Hannes Sochor
2019 J jnl
Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing.
CoRR
Stefan Marksteiner, Rudolf Ramler, Hannes Sochor
2019 B conf
Requirements and Recommendations for IoT/IIoT Models to automate Security Assurance through Threat Modelling, Security Analysis and Penetration Testing.
ARES
Ralph Ankele, Stefan Marksteiner, Kai Nahrgang, Heribert Vallant
2019 J jnl
Requirements and Recommendations for IoT/IIoT Models to automate Security Assurance through Threat Modelling, Security Analysis and Penetration Testing.
CoRR
Ralph Ankele, Stefan Marksteiner, Kai Nahrgang, Heribert Vallant
2018 J jnl
An Overview of Wireless IoT Protocol Security in the Smart Home Domain.
CoRR
Stefan Marksteiner, Víctor Juan Expósito Jiménez, Heribert Vallant, Herwig Zeiner
2018 — conf
Decentralized Energy Networks Based on Blockchain: Background, Overview and Concept Discussion.
BIS (Workshops)
Mario Pichler, Marcus Meisel, Andrija Goranovic, Kurt Leonhartsberger, Georg Lettner, Georgios C. Chasparis, Heribert Vallant, Stefan Marksteiner, Hemma Bieser
2018 J jnl
On the Resilience of a QKD Key Synchronization Protocol for IPsec.
CoRR
Stefan Marksteiner, Benjamin Rainer, Oliver Maurhart
2018 — conf
Reasoning on Adopting OPC UA for an IoT-Enhanced Smart Energy System from a Security Perspective.
CBI (2)
Stefan Marksteiner
2018 J jnl
Reasoning on Adopting OPC UA for an IoT-Enhanced Smart Energy System from a Security Perspective.
CoRR
Stefan Marksteiner
2018 — conf
Smart Ticket Protection: An Architecture for Cyber-Protecting Physical Tickets Using Digitally Signed Random Pattern Markers.
CBI (2)
Stefan Marksteiner
2018 J jnl
Smart Ticket Protection: An Architecture for Cyber-Protecting Physical Tickets Using Digitally Signed Random Pattern Markers.
CoRR
Stefan Marksteiner
2017 J jnl
An Iterative and Toolchain-Based Approach to Automate Scanning and Mapping Computer Networks.
CoRR
Stefan Marksteiner, Harald Lernbeiß, Bernhard Jandl-Scherf
2017 J jnl
Towards a Secure Smart Grid Storage Communications Gateway.
CoRR
Stefan Marksteiner, Heribert Vallant
2016 — conf
An Iterative and Toolchain-Based Approach to Automate Scanning and Mapping Computer Networks.
SafeConfig@CCS
Stefan Marksteiner, Harald Lernbeiß, Bernhard Jandl-Scherf