Combining Algorithms for Deciding Knowledge in Security Protocols. - Mathilde Arnaud; Véronique Cortier; Stéphanie Delaune (FroCoS, 2007)

Deciding Security for Protocols with Recursive Tests. - Mathilde Arnaud; Véronique Cortier; Stéphanie Delaune (CADE, 2011)

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

Analysis of an Electronic Boardroom Voting System. - Mathilde Arnaud; Véronique Cortier; Cyrille Wiedling (VoteID, 2013)

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 (CSDM, 2014)

Modeling and verifying ad hoc routing protocols. - Mathilde Arnaud; Véronique Cortier; Stéphanie Delaune (Inf. Comput., 2014)

An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. - Mathilde Arnaud; Boutheina Bannour; Arnault Lapitre (USE@FM, 2015)

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. - Mathilde Arnaud; Boutheina Bannour; Arnault Lapitre; Guillaume Giraud (SEKE, 2021)

A New Generic Representation for Modeling Privacy. - Myriam Clouet; Thibaud Antignac; Mathilde Arnaud; Gabriel Pedroza; Julien Signoles (EuroS&P Workshops, 2022)

Modelling and simulating new power grid control architectures. - Mathilde Arnaud; Arnault Lapitre; Yves Lhuillier; Stéphane Salmons; Asma Smaoui; Guillaume Giraud; Arnaud Guerrier (ISGT EUROPE, 2023)

Context Specification Language for Formally Verifying Consent Properties on Models and Code. - Myriam Clouet; Thibaud Antignac; Mathilde Arnaud; Julien Signoles (TAP, 2023)

A Domain Specific Language to Design New Control Architectures for Smart Grids. - Asma Smaoui; Mathilde Arnaud; Stéphane Salmons; Guillaume Giraud (MODELSWARD, 2025)