Mathilde Arnaud

According to our database, Mathilde Arnaud authored at least 11 papers between 2007 and 2023.

Collaborative distances:

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

2023

Context Specification Language for Formally Verifying Consent Properties on Models and Code.

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles

Proceedings of the Tests and Proofs - 17th International Conference, 2023

Modelling and simulating new power grid control architectures.

Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons, Asma Smaoui, Guillaume Giraud, Arnaud Guerrier

Proceedings of the IEEE PES Innovative Smart Grid Technologies Europe, 2023

2022

A New Generic Representation for Modeling Privacy.

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

2021

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS.

Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

2015

An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios.

Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

2014

Modeling and verifying ad hoc routing protocols.

Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune

Inf. Comput., 2014

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios.

Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre

Proceedings of the Complex Systems Design & Management, 2014

2013

Analysis of an Electronic Boardroom Voting System.

Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling

Proceedings of the E-Voting and Identify - 4th International Conference, 2013

2011

Formal verification of secured routing protocols. (Vérification formelle de protocoles de routage sécurisés).

Mathilde Arnaud

PhD thesis, 2011

Deciding Security for Protocols with Recursive Tests.

Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2007

Combining Algorithms for Deciding Knowledge in Security Protocols.

Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007