The Community for Technology Leaders
2013 IEEE 54th Annual Symposium on Foundations of Computer Science (2000)
Redondo Beach, California
Nov. 12, 2000 to Nov. 14, 2000
ISSN: 0272-5428
ISBN: 0-7695-0850-2
pp: 314
P. MacKenzie , Lucent Technol. Bell Labs., Murray Hill, NJ, USA
J.A. Garay , Lucent Technol. Bell Labs., Murray Hill, NJ, USA
ABSTRACT
We consider the problem of designing an efficient oblivious transfer (OT) protocol that is provably secure in a concurrent setting, i.e., where many OT sessions may be running concurrently with their messages interleaved arbitrarily. Known OT protocols use zero-knowledge proofs, and no concurrent zero-knowledge proofs are known that use less than a poly-logarithmic number of rounds (at least without requiring a pre-processing phase, a public random string, an auxiliary string, timing constraints, or pre-distributed public keys). We introduce a model for proving security of concurrent OT protocols, and present a protocol that is proven secure in this model based on the decisional Diffie-Hellman problem. The protocol is efficient, requiring only a slightly non-constant number of rounds. Index Terms: protocols; cryptography; timing; concurrent oblivious transfer; protocol; concurrent setting; zero-knowledge proofs; poly-logarithmic number; public random string; auxiliary string; timing constraints; decisional Diffie-Hellman problem
INDEX TERMS
CITATION
P. MacKenzie, J.A. Garay, "Concurrent oblivious transfer", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, vol. 00, no. , pp. 314, 2000, doi:10.1109/SFCS.2000.892120
106 ms
(Ver )