Alexandre Vernotte

发表

Analyzing the Effectiveness of Attack Countermeasures in a SCADA System

Mathias Ekstedt, Matus Korman, Margus Välja, 2017, SPSR-SG@CPSWeek.

Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance

Alexandre Vernotte, Fabien Peureux, Bruno Legeard, 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Recent Advances in Model-Based Testing

Fabrice Bouquet, Bruno Legeard, Alexandre Vernotte, 2016, Adv. Comput..

Model-Based Vulnerability Testing for Web Applications

Franck Lebeau, Bruno Legeard, Alexandre Vernotte, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Quantitative Information Security Risk Estimation Using Probabilistic Attack Graphs

Mathias Ekstedt, Alexandre Vernotte, Robert Lagerström, 2016, RISK.

pwnPr3d: An Attack-Graph-Driven Probabilistic Threat-Modeling Approach

Mathias Ekstedt, Alexandre Vernotte, Robert Lagerström, 2016, 2016 11th International Conference on Availability, Reliability and Security (ARES).

Risk-Driven Vulnerability Testing: Results from eHealth Experiments Using Patterns and Model-Based Approach

Bruno Legeard, Alexandre Vernotte, Fabien Peureux, 2015, RISK.

Improved Testing of AI-Based Anomaly Detection Systems Using Synthetic Surveillance Data

Alexandre Vernotte, Fabien Peureux, Bruno Legeard, 2020, Proceedings.

Load balancing of renewable energy: a cyber security analysis

Mathias Ekstedt, Matus Korman, Margus Välja, 2018 .

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities

Franck Lebeau, Bruno Legeard, Alexandre Vernotte, 2014, ICISS.