Selected publications by Mathilde Arnaud
Conferences
- ACD11a
-
M. Arnaud, V. Cortier and S. Delaune. Deciding security for protocols with recursive tests. In CADE'11, LNAI, pages 49-63. Springer, 2011. ( PDF | PDF (long version) | BibTeX + Abstract )
- ACD10
-
M. Arnaud, V. Cortier and S. Delaune. Modeling and Verifying Ad Hoc Routing Protocols. In CSF'10, pages 59-74. IEEE Computer Society Press, 2010. ( PDF | PDF (long version) | BibTeX + Abstract )
- ACD07
-
M. Arnaud, V. Cortier and S. Delaune. Combining algorithms for deciding knowledge in security protocols. In FroCoS'07, LNAI 4720, pages 103-117. Springer, 2007. ( PDF | PS | PS.GZ | PDF (long version) | Slides | BibTeX + Abstract )
Theses
- Arn11
-
M. Arnaud. Formal verification of secured routing protocols. Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan,
France, December 2011. ( BibTeX )
Other Publications
- ACD11b
-
M. Arnaud, V. Cortier and S. Delaune. Modeling and Verifying Ad Hoc Routing Protocols. Research Report LSV-11-24, Laboratoire Spécification et Vérification, ENS Cachan,
France, December 2011. 66 pages. ( PDF | BibTeX + Abstract )
- ACD09
-
M. Arnaud, V. Cortier and S. Delaune. Modeling and Verifying Ad Hoc Routing Protocol. In SecReT'09, pages 33-46. 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract )