Cryptology ePrint Archive: Report 2009/036

Constructions of Truly Practical Secure Protocols using Standard Smartcards

Carmit Hazay and Yehuda Lindell

Abstract: In this paper we show that using standard smartcards it is possible to construct truly practical secure protocols for a variety of tasks. Our protocols achieve full \emph{simulation-based security} in the presence of \emph{malicious adversaries}, and can be run on very large inputs. We present protocols for secure set intersection, oblivious database search and more. We have also implemented our set intersection protocol in order to show that it is truly practical: on sets of size 30,000 elements takes 20 seconds for one party and 30 minutes for the other. This demonstrates that in settings where physical smartcards can be sent between parties (as in the case of private data mining tasks between security and governmental agencies), it is possible to use secure protocols with proven simulation-based security.

Category / Keywords: cryptographic protocols / secure two-party computation, efficient protocols, smartcards

Publication Info: An extended abstract of this paper appeared in the 15th ACM CCS, 2008. This is the full version.

Date: received 20 Jan 2009, last revised 8 Mar 2009

Contact author: lindell at cs biu ac il

Available format(s): PDF | BibTeX Citation

Version: 20090308:075208 (All versions of this report)

Discussion forum: Show discussion | Start new discussion


[ Cryptology ePrint archive ]