33841 articles – 26713 Notices  [english version]
.:. Consultation > Par auteur > Arnaud .:.
8 documents classés par :

Analysis of an electronic Boardroom Voting System
Arnaud M., Cortier V., Wiedling C.
Dans VoteID'13 - 4th International Conference on e-Voting and Identity - 2013 7985 (2013) 109-126 [hal-00881011 - version 1]
Modeling and Verifying Ad Hoc Routing Protocols
Arnaud M., Cortier V., Delaune S.
Information and Computation (2013) [hal-00881009 - version 1]
fulltext access Formal verification of secured routing protocols
Arnaud M.
École normale supérieure de Cachan - ENS Cachan (13/12/2011), Stéphanie Delaune;Jean Goubault-Larrecq (Dir.) [tel-00675509 - version 1]
STAR - Dépôt national des thèses électroniques
Deciding security for protocols with recursive tests
Arnaud M., Cortier V., Delaune S.
Dans 23rd International Conference on Automated Deduction (CADE'11) (2011) 49-63 [inria-00638557 - version 1]
Modeling and Verifying Ad Hoc Routing Protocols.
Arnaud M., Cortier V., Delaune S.
Dans 23rd IEEE Computer Security Foundations Symposium - CSF'10 (2010) [inria-00525779 - version 1]
Modeling and Verifying Ad Hoc Routing Protocol
Arnaud M., Cortier V., Delaune S.
Dans 4th International Workshop on Security and Rewriting Techniques - SecReT'09 (2009) 33-46 [inria-00426626 - version 1]
Combining algorithms for deciding knowledge in security protocols
Arnaud M., Cortier V., Delaune S.
Dans 6th International Symposium on Frontiers of Combining Systems - FroCoS'07 (2007) [inria-00181609 - version 1]
fulltext access Combining algorithms for deciding knowledge in security protocols
Arnaud M., Cortier V., Delaune S.
N° RR-6118 (2007) [inria-00129418 - version 2]