@inproceedings{JLM06,
title = {Computational soundness of symbolic analysis for protocols using hash functions },
author = {Janvier, Romain and Lakhnech, Yassine and Mazar\'e, Laurent},
year = {2006},
booktitle = {Workshop on Information and Computer Security (ICS'06)},
publisher = {IEEE},
team = {DCS},
}
