@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={{Formal and computational analysis of cryptographic protocols based on task-PIOAs}},
	BOOKTITLE={2006 Workshop on Cryptography and Related Mathematics},
	EDITOR={Tsutomu Sekiguchi},
	JOURNAL={Chuo University, Tokyo, Japan},
	PAGES={151--158},
	MONTH={8},
	YEAR={2006},
}