@inproceedings{STOC-2005-KalaiLP,
	author        = "Yael Tauman Kalai and Yehuda Lindell and Manoj Prabhakaran",
	booktitle     = "{Proceedings of the 37th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/1060590.1060687",
	isbn          = "1-58113-960-8",
	pages         = "644--653",
	publisher     = "{ACM}",
	title         = "{Concurrent general composition of secure protocols in the timing model}",
	year          = 2005,
}