Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakaran. Concurrent general composition of secure protocols in the timing model. In Harold N. Gabow, Ronald Fagin, editors, Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005. pages 644-653, ACM, 2005. [doi]
Abstract is missing.