| 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 | 27 | 2007 |
| Analysis of an electronic boardroom voting system M Arnaud, V Cortier, C Wiedling International Conference on E-Voting and Identity, 109-126, 2013 | 25 | 2013 |
| Deciding security for protocols with recursive tests M Arnaud, V Cortier, S Delaune International Conference on Automated Deduction, 49-63, 2011 | 18 | 2011 |
| Deciding security for protocols with recursive tests M Arnaud, V Cortier, S Delaune International Conference on Automated Deduction, 49-63, 2011 | 18 | 2011 |
| Formal verification of secured routing protocols M Arnaud École normale supérieure de Cachan-ENS Cachan, 2011 | 4 | 2011 |
| Formalization of Generative Unbinding M Arnaud | | 2007 |
Véronique CortierCNRS, LORIAEmail verificata su loria.fr
