All Stories

  1. Actors for Timing Analysis of Distributed Redundant Controllers

    Article • September 2025, Springer Science + Business Media

    Alessandro Vittorio Papadopoulos, Stefan Marksteiner

  2. Learning single and compound-protocol automata and checking behavioral equivalences

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

    Stefan Marksteiner

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

    Article • January 2025, Springer Science + Business Media

    Stefan Marksteiner

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

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

    Stefan Marksteiner

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

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

    Stefan Marksteiner

  6. Approaches for Automating Cybersecurity Testing of Connected Vehicles

    Article • January 2024, Springer Science + Business Media

    Stefan Marksteiner

  7. 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

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

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

    Stefan Marksteiner

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

    Article • November 2023, Springer Science + Business Media

    Stefan Marksteiner

  10. 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

  11. A Systematic Approach to Automotive Security

    Article • January 2023, Springer Science + Business Media

    Stefan Marksteiner

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

    Article • January 2023, Scitepress

    Stefan Marksteiner

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

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

    Stefan Marksteiner

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

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

    Stefan Marksteiner

  15. Using Cyber Digital Twins for Automated Automotive Cybersecurity Testing

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

    Stefan Marksteiner

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

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

    Stefan Marksteiner

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

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

    Stefan Marksteiner

  18. Structured Vehicle Cybersecurity Testing

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

    Stefan Marksteiner, Dr. Stylianos Karagiannis

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

    Article • January 2021, Springer Science + Business Media

    Stefan Marksteiner

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

    Article • January 2021, Springer Science + Business Media

    Stefan Marksteiner

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

    Article • January 2020, Springer Science + Business Media

    Stefan Marksteiner

  22. Threat Modeling in the Smart Grid

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

    Stefan Marksteiner

  23. 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

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

    Article • January 2019, Springer Science + Business Media

    Stefan Marksteiner

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

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

    Stefan Marksteiner

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

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

    Stefan Marksteiner

  27. 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

  28. 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

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

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

    Stefan Marksteiner

  30. Towards a secure smart grid storage communications gateway

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

    Stefan Marksteiner

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

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

    Stefan Marksteiner