Doctoral dissertation



Journal articles and peer-reviewed conferences

2014

[10] M. Barrère, R. Badonnel, and O. Festor. A SAT-based Autonomous Strategy for Security Vulnerability Management. In Proceedings of the IEEE/IFIP International Network Operations and Management Symposium (NOMS'14), Mini-Conference, May 5-9, 2014, Krakow, Poland.

2013

[9] M. Barrère, G. Hurel, R. Badonnel, and O. Festor. A Probabilistic Cost-efficient Approach for Mobile Security Assessment. In Proceedings of the 9th IEEE International Conference on Network and Service Management (CNSM'13), October 14-18, 2013, Zürich, Switzerland. (Acceptance rate 18.1%, 21 out of 116 papers).

[8] M. Barrère, R. Badonnel, and O. Festor. Vulnerability Assessment in Autonomic Networks and Services: a Survey. IEEE Communications Surveys & Tutorials, 16(2):988-1004, May 2014. (Impact factor at acceptance date: 6.311).

[7] M. Barrère, R. Badonnel, and O. Festor. Improving Present Security through the Detection of Past Hidden Vulnerable States. In Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management (IM'13), Mini-Conference, May 27-31, 2013, Ghent, Belgium.

2012

[6] M. Barrère, R. Badonnel, and O. Festor. Collaborative Remediation of Configuration Vulnerabilities in Autonomic Networks and Systems. In Proceedings of the 8th IEEE International Conference on Network and Service Management (CNSM'12), Mini-Conference, October 22-26, 2012, Las Vegas, USA.

[5] M. Barrère, G. Hurel, R. Badonnel, and O. Festor. Increasing Android Security using a Lightweight OVAL-based Vulnerability Assessment Framework. In Automated Security Management, E. Al-Shaer et al, Eds. Springer International Publishing, 2013, ch. 3, pp. 41-58, ISBN: 978-3-319-01432-6. Book chapter based on our paper selected from the 5th International Symposium on Configuration Analytics and Automation (SafeConfig'12), October 3-4, 2012, Baltimore, USA.

[4] M. Barrère, R. Badonnel, and O. Festor. Towards the Assessment of Distributed Vulnerabilities in Autonomic Networks and Systems. In Proceedings of the IEEE/IFIP International Network Operations and Management Symposium (NOMS'12), April 16-20, 2012, Maui, Hawaii, USA. (Acceptance rate 26.2%, 55 out of 210 papers).

2011

[3] M. Barrère, R. Badonnel, and O. Festor. Supporting Vulnerability Awareness in Autonomic Networks and Systems with OVAL. In Proceedings of the 7th IEEE International Conference on Network and Service Management (CNSM'11), October 24-28, 2011, Paris, France. (Acceptance rate 14.6%, 24 out of 164 papers).

[2] M. Barrère, G. Betarte, and M. Rodríguez. Towards Machine-assisted Formal Procedures for the Collection of Digital Evidence. In Proceedings of the 9th Annual International Conference on Privacy, Security and Trust (PST'11), July 19-21, 2011, Montreal, Canada.

[1] M. Barrère, R. Badonnel, and O. Festor. Towards Vulnerability Prevention in Autonomic Networks and Systems. In Proceedings of the 5th International Conference on Autonomous Infrastructure, Management and Security (AIMS'11), Ph.D. Symposium, Springer, June 13-17, 2011, Nancy, France.

Other presentations

[3] M. Barrère, G. Hurel, R. Badonnel, and O. Festor. Ovaldroid: an OVAL-based Vulnerability Assessment Framework for Android. Demonstration Sessions of the IFIP/IEEE International Symposium on Integrated Network Management (IM'13), May 27-31, 2013, Ghent, Belgium. Abstract . Poster .

[2] M. Barrère, R. Badonnel, and O. Festor. Ovalyzer: an OVAL to Cfengine Translator. Ph.D. Student Demo Contest of the IFIP/IEEE International Network Operations and Management Symposium (NOMS'12), April 16-20, 2012, Maui, Hawaii, USA. Abstract . Poster .

[1] M. Barrère, G. Betarte, A. Blanco, and M. Rodríguez. Presentation in the 5th Ibero-American Congress on Information Security (CIBSI'09). Topic: Digital Forensics, Processing Automation of Digital Evidence. November 16-18, 2009, Montevideo, Uruguay.