@ARTICLE{cgUCL-CCKLLPS18,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Task-structured probabilistic I/O automata}},
	PUBLISHER={Elsevier},
	JOURNAL={Journal of Computer and System Sciences},
	VOLUME={94},
	PAGES={63-97},
	MONTH={6},
	YEAR={2018},
}

@INPROCEEDINGS{cgUCL-CCKLP08,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Lynch, Nancy and Pereira, Olivier},
	TITLE={{Modeling Computational Security in Long-Lived Systems}},
	BOOKTITLE={CONCUR 2008 - Concurrency Theory},
	PUBLISHER={Springer},
	EDITOR={van Breugel, Franck; Chechik, Marsha},
	SERIES={LNCS},
	VOLUME={5201},
	MONTH={8},
	YEAR={2008},
}

@ARTICLE{cgUCL-PLLKCSC08,
 	AUTHOR={Pereira, Olivier and Lynch, Nancy and Liskov, Moses and Kaynar, Dilsun and Cheung, Ling and Segala, Roberto and Canetti, Ran},
	TITLE={{Analyzing Security Protocols Using Time-Bounded Task-PIOAs}},
	PUBLISHER={Springer},
	EDITOR={Xi-Ren Cao},
	JOURNAL={Discrete Event Dynamic Systems},
	VOLUME={18},
	PAGES={111-159},
	MONTH={3},
	YEAR={2008},
}

@INPROCEEDINGS{cgUCL-CCKLP07,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Lynch, Nancy and Pereira, Olivier},
	TITLE={{Compositional Security for Task-PIOAs}},
	BOOKTITLE={Proceedings of the 20th IEEE Computer Security Foundations Symposium},
	PUBLISHER={IEEE Computer Society Press},
	EDITOR={A. Sabelfeld},
	PAGES={125-139},
	MONTH={7},
	YEAR={2007},
}

@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={{Time-bounded Task-PIOAs: A Framework for Analyzing Security Protocols}},
	BOOKTITLE={20th International Symposium on Distributed Computing (DISC 2006)},
	PUBLISHER={Springer},
	EDITOR={S. Dolev},
	SERIES={LNCS},
	VOLUME={4167},
	PAGES={238--253},
	NOTE={Invited paper},
	MONTH={9},
	YEAR={2006},
}

@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},
}

@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={{Task-Structured Probabilistic I/O Automata}},
	BOOKTITLE={Proceedings the 8th International Workshop on Discrete Event Systems (WODES'06)},
	PUBLISHER={IEEE},
	PAGES={207-214},
	MONTH={7},
	YEAR={2006},
}

@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},
}

@ARTICLE{cgUCL-CKCLLPS05,
 	AUTHOR={Canetti, Ran and Kaynar, Dilsun and Cheung, Ling and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Using Probabilistic I/O Automata to Improve the Analysis of Cryptographic Protocols.}},
	BOOKTITLE={Special: Security and Trust Management},
	JOURNAL={ERCIM News},
	PAGES={40--41},
	MONTH={10},
	YEAR={2005},
}