Martín Barrère

28 papers B 9C 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2023 J jnl
Cyber-physical attack graphs (CPAGs): Composable and scalable attack graphs for cyber-physical systems.
Comput. Secur.
Martín Barrère, Chris Hankin, Dean O'Reilly
2021 J jnl
Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT.
ACM Trans. Cyber Phys. Syst.
Martín Barrère, Chris Hankin
2020 — conf
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT.
DSN (Supplements)
Martín Barrère, Chris Hankin
2020 J jnl
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT.
CoRR
Martín Barrère, Chris Hankin
2020 J jnl
MaxSAT Evaluation 2020 - Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees.
CoRR
Martín Barrère, Chris Hankin
2020 J jnl
Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies.
J. Inf. Secur. Appl.
Martín Barrère, Chris Hankin, Nicolas Nicolaou, Demetrios G. Eliades, Thomas Parisini
2020 C conf
Trustworthy Inter-connected Cyber-Physical Systems.
CRITIS
Chris Hankin, Martín Barrère
2019 J jnl
Assessing Cyber-Physical Security in Industrial Control Systems.
CoRR
Martín Barrère, Chris Hankin, Demetrios G. Eliades, Nicolas Nicolaou, Thomas Parisini
2019 J jnl
Exact Inference Techniques for the Analysis of Bayesian Attack Graphs.
IEEE Trans. Dependable Secur. Comput.
Luis Munoz-Gonzalez, Daniele Sgandurra, Martín Barrère, Emil C. Lupu
2019 J jnl
Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems.
CoRR
Martín Barrère, Chris Hankin, Nicolas Nicolaou, Demetrios G. Eliades, Thomas Parisini
2019 J jnl
MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs.
CoRR
Martín Barrère, Chris Hankin, Nicolas Nicolaou, Demetrios G. Eliades, Thomas Parisini
2018 B conf
CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research.
RTCSA
Martín Barrère, Chris Hankin, Angelo Barboni, Giulio Zizzo, Francesca Boem, Sergio Maffeis, Thomas Parisini
2017 — conf
Naggen: A network attack graph generation tool - IEEE CNS 17 poster.
CNS
Martín Barrère, Emil C. Lupu
2017 B conf
Tracking the bad guys: An efficient forensic methodology to trace multi-step attacks using core attack graphs.
CNSM
Martín Barrère, Rodrigo Vieira Steiner, Rabih Mohsen, Emil C. Lupu
2015 J jnl
Exact Inference Techniques for the Dynamic Analysis of Attack Graphs.
CoRR
Luis Muñoz-González, Daniele Sgandurra, Martín Barrère, Emil C. Lupu
2015 — conf
Machine-assisted Cyber Threat Analysis Using Conceptual Knowledge Discovery.
FCA4AI@IJCAI
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, Amedeo Napoli
2014 B conf
A SAT-based autonomous strategy for security vulnerability management.
NOMS
Martín Barrère, Remi Badonnel, Olivier Festor
2014 J jnl
Vulnerability Assessment in Autonomic Networks and Services: A Survey.
IEEE Commun. Surv. Tutorials
Martín Barrère, Remi Badonnel, Olivier Festor
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
2013 B conf
A probabilistic cost-efficient approach for mobile security assessment.
CNSM
Martín Barrère, Gaetan Hurel, Remi Badonnel, Olivier Festor
2013 B conf
Improving present security through the detection of past hidden vulnerable states.
IM
Martín Barrère, Remi Badonnel, Olivier Festor
2013 B conf
Ovaldroid: An OVAL-based vulnerability assessment framework for Android.
IM
Martín Barrère, Gaetan Hurel, Remi Badonnel, Olivier Festor
2012 B conf
Collaborative remediation of configuration vulnerabilities in autonomic networks and systems.
CNSM
Martín Barrère, Remi Badonnel, Olivier Festor
2012 — conf
Increasing Android Security Using a Lightweight OVAL-Based Vulnerability Assessment Framework.
SafeConfig
Martín Barrère, Gaetan Hurel, Remi Badonnel, Olivier Festor
2012 B conf
Towards the assessment of distributed vulnerabilities in autonomic networks and systems.
NOMS
Martín Barrère, Remi Badonnel, Olivier Festor
2011 B conf
Supporting vulnerability awareness in autonomic networks and systems with OVAL.
CNSM
Martín Barrère, Remi Badonnel, Olivier Festor
2011 — conf
Towards Vulnerability Prevention in Autonomic Networks and Systems.
AIMS
Martín Barrère, Remi Badonnel, Olivier Festor
2011 C conf
Towards machine-assisted formal procedures for the collection of digital evidence.
PST
Martín Barrère, Gustavo Betarte, Marcelo Rodríguez