| 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) |
