| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 7 |      | Yannick Chevalier, Mounira Kourjieh: Automated Synthesis of a Finite Complexity Ordering for Saturation CoRR abs/1203.2809: (2012) |
| 2010 | ||
| 6 | | Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh: Towards Automatic Analysis of Election Verifiability Properties. ARSPA-WITS 2010: 146-163 |
| 2009 | ||
| 5 | | Yannick Chevalier, Mounira Kourjieh: On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) CoRR abs/0906.1199: (2009) |
| 2007 | ||
| 4 | | Yannick Chevalier, Mounira Kourjieh: Key Substitution in the Symbolic Analysis of Cryptographic Protocols. FSTTCS 2007: 121-132 |
| 3 | | Yannick Chevalier, Mounira Kourjieh: Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) CoRR abs/0710.5674: (2007) |
| 2006 | ||
| 2 | | Yannick Chevalier, Mounira Kourjieh: A Symbolic Intruder Model for Hash-Collision Attacks. ASIAN 2006: 13-27 |
| 1 | | Yannick Chevalier, Mounira Kourjieh: A Symbolic Intruder Model for Hash-Collision Attacks CoRR abs/cs/0611142: (2006) |
| 1 | Yannick Chevalier | [1] [2] [3] [4] [5] [7] |
| 2 | Steve Kremer | [6] |
| 3 | Mark Ryan (Mark Dermot Ryan) | [6] |
| 4 | Ben Smyth | [6] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page