All Stories

  1. Enables formal security verification of black-box systems without source code or manual modeling.

    Article • Computers & Security, January 2027, Elsevier

    Stefan Marksteiner

  2. Security in Next-gen Centralized E/E Architectures

    Article • ATZelectronics worldwide, December 2025, Springer Science + Business Media

    Stefan Marksteiner

  3. Actors for Timing Analysis of Distributed Redundant Controllers

    Article • September 2025, Springer Science + Business Media

    Alessandro Vittorio Papadopoulos, Stefan Marksteiner, Edward Lee

  4. Automatically learning and verifying how communication protocols behave

    Article • International Journal on Software Tools for Technology Transfer, February 2025, Springer Science + Business Media

    Stefan Marksteiner

  5. Black-Box Protocol Testing Using Rebeca and Automata Learning

    Article • January 2025, Springer Science + Business Media

    Stefan Marksteiner

  6. From Threat Models to Tests: Integrated Cybersecurity Validation Across the Automotive Lifecycle

    Article • January 2025, VDI Verlag GmbH

    Stefan Marksteiner

  7. AVATAR: Autonomous Vehicle Assessment through Testing of Adversarial Patches in Real-time

    Article • August 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner

  8. Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents

    Article • July 2024, ACM (Association for Computing Machinery)

    Stefan Marksteiner

  9. Approaches for Automating Cybersecurity Testing of Connected Vehicles

    Article • January 2024, Springer Science + Business Media

    Stefan Marksteiner

  10. AVATAR: Autonomous Vehicle Assessment through Testing of Adversarial Patches in Real-time

    Article • IEEE Transactions on Intelligent Vehicles, January 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner

  11. From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling

    Article • December 2023, ACM (Association for Computing Machinery)

    Stefan Marksteiner

  12. Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example

    Article • November 2023, Springer Science + Business Media

    Stefan Marksteiner

  13. A Global Survey of Standardization and Industry Practices of Automotive Cybersecurity Validation and Verification Testing Processes and Tools

    Article • SAE International Journal of Connected and Automated Vehicles, November 2023, SAE International

    Stefan Marksteiner

  14. A Systematic Approach to Automotive Security

    Article • January 2023, Springer Science + Business Media

    Stefan Marksteiner

  15. Zeroth-Order Optimization Attacks on Deep Reinforcement Learning-Based Lane Changing Algorithms for Autonomous Vehicles

    Article • January 2023, Scitepress

    Stefan Marksteiner

  16. Wireless Security in Vehicular Ad Hoc Networks: A Survey

    Article • SAE International Journal of Connected and Automated Vehicles, August 2022, SAE International

    Stefan Marksteiner

  17. A Model-Driven Methodology for Automotive Cybersecurity Test Case Generation

    Article • September 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner

  18. Using Cyber Digital Twins for Automated Automotive Cybersecurity Testing

    Article • September 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner

  19. An Agnostic Domain Specific Language for Implementing Attacks in an Automotive Use Case

    Article • August 2021, ACM (Association for Computing Machinery)

    Stefan Marksteiner

  20. SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner

  21. Structured Vehicle Cybersecurity Testing

    Article • April 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner, Dr. Stylianos Karagiannis

  22. Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach

    Article • January 2021, Springer Science + Business Media

    Stefan Marksteiner

  23. Steering Drivers of Change: Maximising Benefits of Trustworthy IoT

    Article • January 2021, Springer Science + Business Media

    Stefan Marksteiner

  24. Automatically Determining a Network Reconnaissance Scope Using Passive Scanning Techniques

    Article • January 2020, Springer Science + Business Media

    Stefan Marksteiner

  25. Threat Modeling in the Smart Grid

    Article • Journal of Information Security and Applications, December 2019, Elsevier

    Stefan Marksteiner

  26. Requirements and Recommendations for IoT/IIoT Models to automate Security Assurance through Threat Modelling, Security Analysis and Penetration Testing

    Article • August 2019, ACM (Association for Computing Machinery)

    Stefan Marksteiner

  27. Decentralized Energy Networks Based on Blockchain: Background, Overview and Concept Discussion

    Article • January 2019, Springer Science + Business Media

    Stefan Marksteiner

  28. Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing

    Article • January 2019, ACM (Association for Computing Machinery)

    Stefan Marksteiner

  29. Approaching the Automation of Cyber Security Testing of Connected Vehicles

    Article • January 2019, ACM (Association for Computing Machinery)

    Stefan Marksteiner

  30. Smart Ticket Protection: An Architecture for Cyber-Protecting Physical Tickets Using Digitally Signed Random Pattern Markers

    Article • July 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner

  31. Reasoning on Adopting OPC UA for an IoT-Enhanced Smart Energy System from a Security Perspective

    Article • July 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner

  32. An overview of wireless IoT protocol security in the smart home domain

    Article • November 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner

  33. Towards a secure smart grid storage communications gateway

    Article • May 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Stefan Marksteiner

  34. An Iterative and Toolchain-Based Approach to Automate Scanning and Mapping Computer Networks

    Article • January 2016, ACM (Association for Computing Machinery)

    Stefan Marksteiner