Towards Vulnerability Prevention in Autonomic Networks and Systems. - Martín Barrère; Remi Badonnel; Olivier Festor (AIMS, 2011)

Supporting vulnerability awareness in autonomic networks and systems with OVAL. - Martín Barrère; Remi Badonnel; Olivier Festor (CNSM, 2011)

Towards machine-assisted formal procedures for the collection of digital evidence. - Martín Barrère; Gustavo Betarte; Marcelo Rodríguez (PST, 2011)

Collaborative remediation of configuration vulnerabilities in autonomic networks and systems. - Martín Barrère; Remi Badonnel; Olivier Festor (CNSM, 2012)

Towards the assessment of distributed vulnerabilities in autonomic networks and systems. - Martín Barrère; Remi Badonnel; Olivier Festor (NOMS, 2012)

Increasing Android Security Using a Lightweight OVAL-Based Vulnerability Assessment Framework. - Martín Barrère; Gaetan Hurel; Remi Badonnel; Olivier Festor (SafeConfig, 2012)

A probabilistic cost-efficient approach for mobile security assessment. - Martín Barrère; Gaetan Hurel; Remi Badonnel; Olivier Festor (CNSM, 2013)

Improving present security through the detection of past hidden vulnerable states. - Martín Barrère; Remi Badonnel; Olivier Festor (IM, 2013)

Ovaldroid: An OVAL-based vulnerability assessment framework for Android. - Martín Barrère; Gaetan Hurel; Remi Badonnel; Olivier Festor (IM, 2013)

A SAT-based autonomous strategy for security vulnerability management. - Martín Barrère; Remi Badonnel; Olivier Festor (NOMS, 2014)

Vulnerability Assessment in Autonomic Networks and Services: A Survey. - Martín Barrère; Remi Badonnel; Olivier Festor (IEEE Commun. Surv. Tutorials, 2014)

Vulnerability Management for Safe Configurations in Autonomic Networks and Systems. (Gestion des Vulnérabilités dans les Réseaux et Systèmes Autonomes). - Martín Barrère (2014)

Machine-assisted Cyber Threat Analysis Using Conceptual Knowledge Discovery. - Martín Barrère; Gustavo Betarte; Víctor Codocedo; Marcelo Rodríguez; Hernán Astudillo; Marcelo Aliquintuy; Javier Baliosian; Remi Badonnel; Olivier Festor; Carlos Raniery Paula dos Santos; Jéferson Campos Nobre; Lisandro Zambenedetti Granville; et al. (FCA4AI@IJCAI, 2015)

Exact Inference Techniques for the Dynamic Analysis of Attack Graphs. - Luis Muñoz-González; Daniele Sgandurra; Martín Barrère; Emil C. Lupu (CoRR, 2015)

Naggen: A network attack graph generation tool - IEEE CNS 17 poster. - Martín Barrère; Emil C. Lupu (CNS, 2017)

Tracking the bad guys: An efficient forensic methodology to trace multi-step attacks using core attack graphs. - Martín Barrère; Rodrigo Vieira Steiner; Rabih Mohsen; Emil C. Lupu (CNSM, 2017)

CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research. - Martín Barrère; Chris Hankin; Angelo Barboni; Giulio Zizzo; Francesca Boem; Sergio Maffeis; Thomas Parisini (RTCSA, 2018)

Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems. - Martín Barrère; Chris Hankin; Nicolas Nicolaou; Demetrios G. Eliades; Thomas Parisini (CoRR, 2019)

MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs. - Martín Barrère; Chris Hankin; Nicolas Nicolaou; Demetrios G. Eliades; Thomas Parisini (CoRR, 2019)

Assessing Cyber-Physical Security in Industrial Control Systems. - Martín Barrère; Chris Hankin; Demetrios G. Eliades; Nicolas Nicolaou; Thomas Parisini (CoRR, 2019)

Exact Inference Techniques for the Analysis of Bayesian Attack Graphs. - Luis Munoz-Gonzalez; Daniele Sgandurra; Martín Barrère; Emil C. Lupu (IEEE Trans. Dependable Secur. Comput., 2019)

Trustworthy Inter-connected Cyber-Physical Systems. - Chris Hankin; Martín Barrère (CRITIS, 2020)

Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. - Martín Barrère; Chris Hankin (DSN (Supplements), 2020)

MaxSAT Evaluation 2020 - Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees. - Martín Barrère; Chris Hankin (CoRR, 2020)

Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies. - Martín Barrère; Chris Hankin; Nicolas Nicolaou; Demetrios G. Eliades; Thomas Parisini (J. Inf. Secur. Appl., 2020)

Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT. - Martín Barrère; Chris Hankin (ACM Trans. Cyber Phys. Syst., 2021)

Cyber-physical attack graphs (CPAGs): Composable and scalable attack graphs for cyber-physical systems. - Martín Barrère; Chris Hankin; Dean O'Reilly (Comput. Secur., 2023)