Follow
Mathilde Arnaud
Mathilde Arnaud
CEA, France
Verified email at cea.fr
Title
Cited by
Cited by
Year
Modeling and verifying ad hoc routing protocols
M Arnaud, V Cortier, S Delaune
Computer Security Foundations Symposium (CSF), 2010 23rd IEEE, 59-74, 2010
50*2010
Modeling and Verifying Ad Hoc Routing Protocols
M Arnaud, V Cortier, S Delaune
50*2010
Combining algorithms for deciding knowledge in security protocols
M Arnaud, V Cortier, S Delaune
International Symposium on Frontiers of Combining Systems, 103-117, 2007
272007
Analysis of an electronic boardroom voting system
M Arnaud, V Cortier, C Wiedling
International Conference on E-Voting and Identity, 109-126, 2013
232013
Deciding security for protocols with recursive tests
M Arnaud, V Cortier, S Delaune
International Conference on Automated Deduction, 49-63, 2011
192011
Deciding security for protocols with recursive tests
M Arnaud, V Cortier, S Delaune
International Conference on Automated Deduction, 49-63, 2011
192011
Formal verification of secured routing protocols
M Arnaud
École normale supérieure de Cachan-ENS Cachan, 2011
42011
Formalization of Generative Unbinding
M Arnaud
2007
The system can't perform the operation now. Try again later.
Articles 1–8