| |
| 2007 | ||
|---|---|---|
| 4 | EE | Yannick Chevalier, Mounira Kourjieh: Key Substitution in the Symbolic Analysis of Cryptographic Protocols. FSTTCS 2007: 121-132 |
| 3 | EE | Yannick Chevalier, Mounira Kourjieh: Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) CoRR abs/0710.5674: (2007) |
| 2006 | ||
| 2 | EE | Yannick Chevalier, Mounira Kourjieh: A Symbolic Intruder Model for Hash-Collision Attacks. ASIAN 2006: 13-27 |
| 1 | EE | Yannick Chevalier, Mounira Kourjieh: A Symbolic Intruder Model for Hash-Collision Attacks CoRR abs/cs/0611142: (2006) |
| 1 | Yannick Chevalier | [1] [2] [3] [4] |