TU/e Research Portal · 2006 · 72 citations · 6 references
ComputingComputer ScienceCybersecurityComputer SecurityCryptographySecurity ProtocolsCryptographic Protocol DesignCryptographic ProtocolsProtocol AnalysisProtocol VerificationSecure Multi-party ComputationSecurity Protocol VerificationCryptographic Protocol AnalysisFormal Verification Of Cryptographic ProtocolsOblivious TransferYao's Garbled Circuits
We present a protocol issue that arises with the use of oblivious transfer in the malicious case of several two-party computation protocols based on Yao’s garbled circuit. We describe this issue for a protocol by Pinkas (Eurocrypt 2003) and for the Fairplay protocol, and we discuss why this issue still persists for a recently suggested modification of the Fairplay protocol. We propose a solution using committed oblivious transfer instead of (plain) oblivious transfer. We also introduce the notion of committing oblivious transfer, which leads to an alternative, potentially more efficient solution. 1
6
How to generate and exchange secrets
Andrew Chi-Chih Yao · 1986 · 3.7K citations
Protocols for secure computations
Andrew Chi-Chih Yao · Foundations of Computer Science · 1982 · 2.7K citations
Fairplay—a secure two-party computation system
Dahlia Malkhi, Noam Nisan, Benny Pinkas et al. · 2004 · 782 citations
The round complexity of secure protocols
Donald Beaver, Silvio Micali, Phillip Rogaway · 1990 · 721 citations · Full text
Efficient oblivious transfer protocols
Moni Naor, Benny Pinkas · Symposium on Discrete Algorithms · 2001 · 629 citations