@INPROCEEDINGS{cgUCL-AP07,
 	AUTHOR={Araragi, Tadashi and Pereira, Olivier},
	TITLE={{Automatic Verification of Simulatability in Security Protocols}},
	BOOKTITLE={Workshop on Formal and Computational Cryptography - FCC 2007},
	EDITOR={M. Backes and Y. Lakhnech},
	NOTE={To appear},
	MONTH={7},
	YEAR={2007},
}