TY  - RPRT
TI  - A Symbolic Intruder Model for Hash-Collision Attacks
AU  - Yannick Chevalier
AU  - Mounira Kourjieh
PY  - 2006
UR  - https://arxiv.org/abs/cs/0611142
ID  - cs/0611142
ER  -