Small, stupid, and scalable: Secure computing with faerieplay

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2010, Pages 41-51

  Iliev, Alexander ^a   Smith, Sean W ^a  

^a DARTMOUTH COLLEGE   (United States)

Author keywords

oram; pir; secure computation

Indexed keywords

CIRCUIT EVALUATION; CIRCUIT SOLUTION; CO-PROCESSORS; INTERNAL STATE; ORAM; PIR; PRIVATE INFORMATION RETRIEVAL; SECURE COMPUTATION; SECURE COPROCESSOR; SECURE MULTI-PARTY COMPUTATION; TRUSTED THIRD PARTIES;

INFORMATION RETRIEVAL;

CRYPTOGRAPHY;

EID: 78650202743     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1867635.1867643     Document Type: Conference Paper

References (37)

1. Rakesh Agrawal, Alexandre Evfimievski, and Ramakrishnan Srikant. Information Sharing Across Private Databases. In SIGMOD '03: Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, pages 86-97. ACM Press, 2003.
2. Andrew W. Appel. Modern Compiler Implementation in ML. Cambridge University Press, 1997. Versions exist for C and Java as well.
3. T. Arnold and L. van Doorn. The IBM PCIXCC: A New Cryptographic Coprocessor for the IBM eServer. IBM Journal of Research and Development, 48:475-487, May 2004.
4. Dmitri Asonov and Johann-Christoph Freytag. Almost Optimal Private Information Retrieval. In Privacy Enhancing Technoligies (PET2002), pages 209-223, 2002.
5. Mikhail Atallah, Marina Blanton, Vinayak Deshpande, Keith Frikken, Jiangtao Li, and Leroy Schwarz. Secure Collaborative Planning, Forecasting, and Replenishment (SCPFR). In Proceedings of 10th INFORMS Conference on Manufacturing and Service Operations Management (MSOM), Evanston, Il, USA, June 2005.
6. Mikhail J. Atallah and Wenliang Du. Secure Multi-party Computational Geometry. In WADS '01: Proceedings of the 7th International Workshop on Algorithms and Data Structures, pages 165-179, London, UK, 2001. Springer-Verlag.
7. Mihir Bellare and Silvio Micali. Non-Interactive Oblivious Transfer and Applications. In CRYPTO '89: Proceedings on Advances in Cryptology, pages 547-557. Springer-Verlag New York, Inc., 1989.
8. Mihir Bellare and Phillip Rogaway. Introduction to Modern Cryptography. http://www-cse.ucsd.edu/ users/mihir/cse207/classnotes.html, May 2004. URL live in Aug 2005.
9. Matt Blaze, Joan Feigenbaum, and Moni Naor. A Formal Treatment of Remotely Keyed Encryption (Extended Abstract). In EUROCRYPT '98, volume 1403 of LNCS, pages 251-265, Espoo, Finland, May 1998. Springer-Verlag.
10. Christian Cachin, Silvio Micali, and Markus Stadler. Computationally Private Information Retrieval with Polylogarithmic Communication. In Eurocrypt 1999, Prague, Czech Republic, 1999. Springer-Verlag. LNCS 1592.
11. B. Chor, O. Goldreich, E. Kushilevitz, and M. Sudan. Private Information Retrieval. Journal of the ACM, 45(6):965-982, November 1998.
12. Alexandre Evfimievski, Ramakrishnan Srikant, Rakesh Agrawal, and Johannes Gehrke. Privacy Preserving Mining of Association Rules. In KDD '02: Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 217-228, New York, NY, USA, 2002. ACM Press.
13. Milan Fort, Felix C. Freiling, Lucia Draque Penso, Zinaida Benenson, and Dogan Kesdogan. TrustedPals: Secure Multiparty Computation Implemented with Smart Cards. In ESORICS 2006, pages 34-48, Hamburg, Germany, September 2006. Springer. LNCS 4189.
14. Keith B. Frikken and Mikhail J. Atallah. Privacy Preserving Route Planning. In WPES '04: Proceedings of the 2004 ACM Workshop on Privacy in the Electronic Society, pages 8-15, New York, NY, USA, 2004. ACM Press.
15. Oded Goldreich and Rafail Ostrovsky. Software Protection and Simulation on Oblivious RAMs. Journal of the ACM, 43(3):431-473, 1996.
16. A. Iliev and S.W. Smith. Faerieplay on Tiny Trusted Third Parties (Work in Progress). In Second Workshop on Advances in Trusted Computing (WATC '06), November 2006.
17. Alex Iliev and Sean Smith. Privacy-enhanced directory services. In 2nd Annual PKI Research Workshop, pages 109-121, Gaithersburg, MD, April 2003. NIST.
18. Alexander Iliev. Hardware-Assisted Secure Computation. PhD thesis, Dartmouth College, Hanover, NH, USA, 2009.
19. Alexander Iliev and Sean Smith. Private information storage with logarithmic-space secure hardware. In I-NetSec '04: 3rd Working Conference on Privacy and Anonymity in Networked and Distributed Systems, pages 201-216, Toulouse, France, August 2004. IFIP, Kluwer.
20. Alexander Iliev and Sean Smith. More Efficient Secure Function Evaluation Using Tiny Trusted Third Parties. Technical Report TR2005-551, Dartmouth College, Computer Science, Hanover, NH, USA, July 2005. http://www.cs.dartmouth. edu/reports/ abstracts/TR2005-551/.
21. Alexander Iliev and Sean Smith. Towards Tiny Trusted Third Parties. Technical Report TR2005-547, Dartmouth College, NH, USA, July 2005. http://www.cs.dartmouth.edu/reports/abstracts/ TR2005-547/.
22. Sherri A. Koenig. Power Generation Scheduling by Lagrangian Relaxation. Master's thesis, Cornell University, 1975.
23. Yaping Li, J. D. Tygar, and Joseph M. Hellerstein. Private Matching. In D. Lee, S. Shieh, and J. D. Tygar, editors, Computer Security in the 21st Century. Springer, June 2005.
24. Yehuda Lindell and Benny Pinkas. A Proof of Yao's Protocol for Secure Two-Party Computation. J.Cryptology, 22:161-188, 2009.
25. Philip MacKenzie, Alina Oprea, and Michael K. Reiter. Automatic Generation of Two-Party Computations. In CCS '03: Proceedings of the 10th ACM conference on Computer and Communications Security, pages 210-219, New York, NY, USA, 2003. ACM Press.
26. Dahlia Malkhi, Noam Nisan, Benny Pinkas, and Yaron Sella. Fairplay - A Secure Two-Party Computation System. In Matt Blaze, editor, 13th USENIX Security Symposium, pages 287-302. USENIX, August 2004.
27. N. Modadugu, D. Boneh, and M. Kim. Generating RSA Keys on the PalmPilot With the Help of an Untrusted Server. In RSA Data Security Conference and Expo, 2000.
28. John A. Muckstadt and Sherri A. Koenig. An Application of Lagrangian Relaxation to Scheduling in Power-Generation Systems. Operations Research, 25(3):387-403, May 1977.
29. Moni Naor and Kobbi Nissim. Communication Preserving Protocols for Secure Function Evaluation. In STOC '01: Proceedings of the Thirty-Third Annual ACM Symposium on Theory of Computing, pages 590-599, New York, NY, USA, 2001. ACM Press.
30. Janus Dam Nielsen and Michael I. Schwartzbach. A High-Level DSL for Secure Multiparty Computation. Linked at http://www.brics.dk/~mis/papers.html, 2006.
31. Sean Smith. Outbound Authentication for Programmable Secure Coprocessors. In 7th European Symposium on Research in Computer Science, October 2002.
32. S.W. Smith and D. Safford. Practical Server Privacy Using Secure Coprocessors. IBM Systems Journal, 40(3):683-695, 2001. (Special Issue on End-to-End Security).
33. National Institute Of Standards and Technology. Security Requirements for Cryptographic Modules. http://csrc.nist.gov/publications/fips/ fips140-1/fips1401.pdf, Jan 1994. FIPS PUB 140-1; URL current in June 2005.
34. S. Wang, X. Ding, R. Deng, and F. Bao. Private information retrieval using trusted hardware. In ESORICS 2006, September 2006. LNCS 4189.
35. Peter Williams and Radu Sion. Usable PIR. In NDSS 2008, February 2008.
36. A. C. Yao. How to Generate and Exchange Secrets. In FOCS 1986, pages 162-167. IEEE, 1986.
37. Bennet S. Yee. Using Secure Coprocessors. PhD thesis, Carnegie Mellon University, 1994.