Exact inference techniques for the analysis of Bayesian attack graphs L Muñoz-González, D Sgandurra, M Barrère, EC Lupu IEEE Transactions on Dependable and Secure Computing 16 (2), 231-244, 2017 | 96 | 2017 |
Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies M Barrère, C Hankin, N Nicolaou, DG Eliades, T Parisini Journal of information security and applications 52, 102471, 2020 | 44 | 2020 |
CPS-MT: A real-time cyber-physical system monitoring tool for security research M Barrère, C Hankin, A Barboni, G Zizzo, F Boem, S Maffeis, T Parisini 2018 IEEE 24th International Conference on Embedded and Real-Time Computing …, 2018 | 26 | 2018 |
Vulnerability Assessment in Autonomic Networks and Services: A Survey M Barrère, R Badonnel, O Festor IEEE Communications Surveys & Tutorials 16 (2), 988-1004, 2014 | 23 | 2014 |
Naggen: a Network Attack Graph GENeration Tool M Barrere, EC Lupu IEEE Conference on Communications and Network Security (CNS’17), 2017 | 22 | 2017 |
Tracking the Bad Guys: An Efficient Forensic Methodology To Trace Multi-step Attacks Using Core Attack Graphs M Barrère, RV Steiner, R Mohsen, EC Lupu IEEE International Conference on Network and Service Management (CNSM'17), 2017 | 21 | 2017 |
A SAT-based Autonomous Strategy for Security Vulnerability Management M Barrère, R Badonnel, O Festor IEEE/IFIP International Network Operations and Management Symposium (NOMS'14), 2014 | 17 | 2014 |
Towards the Assessment of Distributed Vulnerabilities in Autonomic Networks and Systems M Barrère, R Badonnel, O Festor IFIP/IEEE Network Operations and Management Symposium (NOMS'12), 335-342, 2012 | 17 | 2012 |
Towards machine-assisted formal procedures for the collection of digital evidence M Barrère, G Betarte, M Rodríguez 9th IEEE Annual International Conference on Privacy, Security and Trust (PST …, 2011 | 17* | 2011 |
Supporting Vulnerability Awareness in Autonomic Networks and Systems with OVAL M Barrère, R Badonnel, O Festor 7th IEEE International Conference on Network and Services Management (CNSM …, 2011 | 15 | 2011 |
A Probabilistic Cost-efficient Approach for Mobile Security Assessment M Barrère, G Hurel, R Badonnel, O Festor 9th IEEE International Conference on Network and Service Management (CNSM'13), 2013 | 11 | 2013 |
Identifying security-critical cyber-physical components in industrial control systems M Barrère, C Hankin, N Nicolau, DG Eliades, T Parisini arXiv preprint arXiv:1905.04796, 2019 | 10 | 2019 |
Analysing mission-critical cyber-physical systems with and/or graphs and maxsat M Barrère, C Hankin ACM Transactions on Cyber-Physical Systems 5 (3), 1-29, 2021 | 9 | 2021 |
Fault tree analysis: Identifying maximum probability minimal cut sets with MaxSAT M Barrère, C Hankin 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems …, 2020 | 8 | 2020 |
Collaborative remediation of configuration vulnerabilities in autonomic networks and systems M Barrère, R Badonnel, O Festor 2012 8th international conference on network and service management (cnsm …, 2012 | 8 | 2012 |
Increasing Android Security using a Lightweight OVAL-based Vulnerability Assessment Framework M Barrère, G Hurel, R Badonnel, O Festor Automated Security Management, 41-58, 2012 | 8 | 2012 |
Exact inference techniques for the dynamic analysis of attack graphs L Muñoz-González, D Sgandurra, M Barrere, EC Lupu arXiv preprint arXiv:1510.02427, 2015 | 7 | 2015 |
WSNs under attack! How bad is it? Evaluating connectivity impact using centrality measures RV Steiner, M Barrere, E Lupu IET Digital Library, 2018 | 5 | 2018 |
Ovaldroid: An OVAL-based vulnerability assessment framework for Android M Barrère, G Hurel, R Badonnel, O Festor IFIP/IEEE International Symposium on Integrated Network Management (IM'2013 …, 2013 | 5 | 2013 |
Cyber-physical attack graphs (CPAGs): Composable and scalable attack graphs for cyber-physical systems M Barrère, C Hankin, D O’Reilly Computers & Security 132, 103348, 2023 | 4 | 2023 |