@INPROCEEDINGS{cgUCL-CCKLLPS06,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols}},
	BOOKTITLE={Workshop on Formal and Computational Cryptography - FCC 2006},
	EDITOR={V. Cortier, S. Kremer},
	PAGES={34--39},
	MONTH={7},
	YEAR={2006},
}