| 2020 | CRITIS | Trustworthy Inter-connected Cyber-Physical Systems. | Chris Hankin, Martn Barrre |
| 2020 | DSN | Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. | Martn Barrre, Chris Hankin |
| 2018 | RTCSA | CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research. | Martn Barrre, Chris Hankin, Angelo Barboni, Giulio Zizzo, Francesca Boem, Sergio Maffeis, Thomas Parisini |
| 2017 | CNSM | Tracking the bad guys: An efficient forensic methodology to trace multi-step attacks using core attack graphs. | Martn Barrre, Rodrigo Vieira Steiner, Rabih Mohsen, Emil C. Lupu |
| 2015 | IJCAI | Machine-assisted Cyber Threat Analysis Using Conceptual Knowledge Discovery. | Martn Barrre, Gustavo Betarte, Vctor Codocedo, Marcelo Rodrguez, Hernn Astudillo, Marcelo Aliquintuy, Javier Baliosian, Remi Badonnel, Olivier Festor, Carlos Raniery Paula dos Santos, Jferson Campos Nobre, Lisandro Zambenedetti Granville, Amedeo Napoli |
| 2014 | NOMS | A SAT-based autonomous strategy for security vulnerability management. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2013 | CNSM | A probabilistic cost-efficient approach for mobile security assessment. | Martn Barrre, Gaetan Hurel, Remi Badonnel, Olivier Festor |
| 2013 | IM | Improving present security through the detection of past hidden vulnerable states. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2013 | IM | Ovaldroid: An OVAL-based vulnerability assessment framework for Android. | Martn Barrre, Gaetan Hurel, Remi Badonnel, Olivier Festor |
| 2012 | CNSM | Collaborative remediation of configuration vulnerabilities in autonomic networks and systems. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2012 | NOMS | Towards the assessment of distributed vulnerabilities in autonomic networks and systems. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2011 | CNSM | Supporting vulnerability awareness in autonomic networks and systems with OVAL. | Martn Barrre, Remi Badonnel, Olivier Festor |
| 2011 | PST | Towards machine-assisted formal procedures for the collection of digital evidence. | Martn Barrre, Gustavo Betarte, Marcelo Rodrguez |