International Association for Cryptologic Research

International Association
for Cryptologic Research


Paper: Constructions of Truly Practical Secure Protocols using Standard Smartcards

Carmit Hazay
Yehuda Lindell
Search ePrint
Search Google
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 (where the latter can be parallelized to further reduce the time). 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.
  title={Constructions of Truly Practical Secure Protocols using Standard Smartcards},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / secure two-party computation, efficient protocols, smartcards},
  note={An extended abstract of this paper appeared in the 15th ACM CCS, 2008. This is the full version. 14264 received 20 Jan 2009, last revised 20 Jan 2009},
  author={Carmit Hazay and Yehuda Lindell},