Maxime Audinot

According to our database, Maxime Audinot authored at least 6 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Beyond 2014: Formal Methods for Attack Tree-based Security Modeling.

Wojciech Widel, Maxime Audinot, Barbara Fila, Sophie Pinchinat

ACM Comput. Surv., 2019

2018

Deciding the Non-emptiness of Attack Trees.

Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux

Proceedings of the 5th International Workshop on Graphical Models for Security, 2018

Guided Design of Attack Trees: A System-Based Approach.

Maxime Audinot, Sophie Pinchinat, Barbara Kordy

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Is my attack tree correct? Extended version.

Maxime Audinot, Sophie Pinchinat, Barbara Kordy

CoRR, 2017

Is My Attack Tree Correct?

Maxime Audinot, Sophie Pinchinat, Barbara Kordy

Proceedings of the Computer Security - ESORICS 2017, 2017

2016

On the Soundness of Attack Trees.

Maxime Audinot, Sophie Pinchinat

Proceedings of the Graphical Models for Security - Third International Workshop, 2016