Följ
Mathilde Arnaud
Mathilde Arnaud
CEA, France
Verifierad e-postadress på cea.fr
Titel
Citeras av
Citeras av
År
Modeling and verifying ad hoc routing protocols
M Arnaud, V Cortier, S Delaune
Computer Security Foundations Symposium (CSF), 2010 23rd IEEE, 59-74, 2010
48*2010
Modeling and Verifying Ad Hoc Routing Protocols
M Arnaud, V Cortier, S Delaune
48*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
252013
Deciding security for protocols with recursive tests
M Arnaud, V Cortier, S Delaune
International Conference on Automated Deduction, 49-63, 2011
182011
Deciding security for protocols with recursive tests
M Arnaud, V Cortier, S Delaune
International Conference on Automated Deduction, 49-63, 2011
182011
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–8