Mathilde Arnaud

ORCID

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 5

Top Venues

Electron. Notes Theor. Comput. Sci.

ISGT EUROPE

EuroS&P Workshops

Inf. Comput.

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles
Context Specification Language for Formally Verifying Consent Properties on Models and Code. TAP (2023)
Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons, Asma Smaoui, Guillaume Giraud, Arnaud Guerrier
Modelling and simulating new power grid control architectures. ISGT EUROPE (2023)
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles
A New Generic Representation for Modeling Privacy. EuroS&P Workshops (2022)
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud
Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. SEKE (2021)
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. Electron. Notes Theor. Comput. Sci. 320 (2016)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Modeling and verifying ad hoc routing protocols. Inf. Comput. 238 (2014)
Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre
Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. CSDM (2014)
Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling
Analysis of an Electronic Boardroom Voting System. VoteID (2013)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Deciding Security for Protocols with Recursive Tests. CADE (2011)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Modeling and Verifying Ad Hoc Routing Protocols. CSF (2010)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Combining Algorithms for Deciding Knowledge in Security Protocols. FroCoS (2007)

Mathilde Arnaud.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mathilde Arnaud