Launch week offerEnds in00h00m00s

annual Promonthly Pro

Stefan Marksteiner

Senior Scientist

AIT Austrian Institute of Technology GmbH

Austria

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Austria Professors in Artificial Intelligence Artificial Intelligence professors in Austria

Articles (15)

Year:

2027

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Collaborators (6)

Marjan Sirjani

Professor

Mälardalen University

SWEDEN

View details

Alessandro Vittorio Papadopoulos

Professor

Mälardalen University

SWEDEN

View details

Edward Lee

Professor

University of California, Berkeley

UNITED STATES

View details

Nasser Lashgarian Azad

University of Waterloo

CANADA

View details

Mikael Sjödin

Professor

Mälardalen University

SWEDEN

View details

Apurva Narayan

Western University

CANADA

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Stefan Marksteiner

Research Interests

Make your next move.

Explore related searches

Articles (15)

From automata learning to model checking: Formal security verification of black-box protocols

Actors for Timing Analysis of Distributed Redundant Controllers

Black-Box Protocol Testing Using Rebeca and Automata Learning

Security in Next-gen Centralized E/E Architectures

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

Learning single and compound-protocol automata and checking behavioral equivalences

STAF: Leveraging LLMs for automated attack tree-based security test generation

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

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

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

Approaches for Automating Cybersecurity Testing of Connected Vehicles

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

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

A Systematic Approach to Automotive Security

Zeroth-order optimization attacks on deep reinforcement learning-based lane changing algorithms for autonomous vehicles

Collaborators (6)

Marjan Sirjani

Alessandro Vittorio Papadopoulos

Edward Lee

Nasser Lashgarian Azad

Mikael Sjödin

Apurva Narayan

Make your next move.