Wysteria: A programming language for generic, mixed-mode multiparty computations

Proceedings - IEEE Symposium on Security and Privacy

Volumn , Issue , 2014, Pages 655-670

  Rastogi, Aseem ^a   Hammer, Matthew A ^a   Hicks, Michael ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Dependent type system; Functional language; Secure multi party computation

Indexed keywords

CRYPTOGRAPHY; HIGH LEVEL LANGUAGES; SEMANTICS;

CRYPTOGRAPHIC TECHNIQUES; DEPENDENT TYPE SYSTEM; FUNCTIONAL LANGUAGES; HIGH-LEVEL PROGRAMMING LANGUAGE; MULTIPARTY COMPUTATION; OPERATIONAL SEMANTICS; PRIVATE COMPUTATION; SECURE MULTI-PARTY COMPUTATION;

DATA PRIVACY;

EID: 84914124819     PISSN: 10816011     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SP.2014.48     Document Type: Conference Paper

References (31)

1. A. C.-C. Yao, "How to generate and exchange secrets," in FOCS, 1986.
2. O. Goldreich, S. Micali, and A. Wigderson, "How to play ANY mental game," in STOC, 1987.
3. D. Beaver, S. Micali, and P. Rogaway, "The round complexity of secure protocols," in STOC, 1990.
4. G. Aggarwal, N. Mishra, and B. Pinkas, "Secure computation of the k th-ranked element," in EUROCRYPT. Springer, 2004.
5. F. Kerschbaum, "Automatically optimizing secure computation," in CCS, 2011.
6. M. J. Freedman, K. Nissim, and B. Pinkas, "Efficient private matching and set intersection," in EUROCRYPT, 2004.
7. Y. Huang, D. Evans, and J. Katz, "Private set intersection: Are garbled circuits better than custom protocols?" in NDSS, 2012.
8. J. D. Nielsen and M. I. Schwartzbach, "A domain-specific programming language for secure multiparty computation," in PLAS, 2007.
9. P. Bogetoft, D. L. Christensen, I. Damgård, M. Geisler, T. Jakobsen, M. Krøigaard, J. D. Nielsen, J. B. Nielsen, K. Nielsen, J. Pagter, M. Schwartzbach, and T. Toft, "Financial cryptography and data security," 2009, ch. Secure Multiparty Computation Goes Live.
10. P. Paillier, "Public-key cryptosystems based on composite degree residuosity classes," in EUROCRYPT, 1999.
11. J. Mitchell, R. Sharma, D. Stefan, and J. Zimmerman, "Information-flow control for programming on encrypted data," in CSF, 2012.
12. J. Launchbury, I. S. Diatchki, T. DuBuisson, and A. Adams-Moran, "Efficient lookup-table protocol in secure multiparty computation," in ICFP, 2012.
13. L. Malka, "Vmcrypt: modular software architecture for scalable secure computation," in CCS, 2011.
14. Y. Huang, D. Evans, J. Katz, and L. Malka, "Faster secure two-party computation using garbled circuits," in USENIX, 2011.
15. B. Mood, L. Letaw, and K. Butler, "Memory-efficient garbled circuit generation for mobile devices," in Financial Cryptography, 2012.
16. B. Kreuter, ahbi shelat, B. Mood, and K. Butler, "PCF: A portable circuit format for scalable two-party secure computation," in USENIX, 2013.
17. D. Malkhi, N. Nisan, B. Pinkas, and Y. Sella, "Fairplay: a secure twoparty computation system," in USENIX Security, 2004.
18. A. Holzer, M. Franz, S. Katzenbeisser, and H. Veith, "Secure two-party computations in ANSI C," in CCS, 2012.
19. A. Ben-David, N. Nisan, and B. Pinkas, "FairplayMP: a system for secure multi-party computation," in CCS, 2008.
20. A. Shamir, R. L. Rivest, and L. M. Adleman, Mental poker. Springer, 1980.
21. M. Furr and J. S. Foster, "Checking Type Safety of Foreign Function Calls," TOPLAS, vol. 30, no. 4, pp. 1-63, July 2008.
22. A. Rastogi, P. Mardziel, M. Hammer, and M. Hicks, "Knowledge inference for optimizing secure multi-party computation," in PLAS, 2013.
23. S. G. Choi, K.-W. Hwang, J. Katz, T. Malkin, and D. Rubenstein, "Secure multi-party computation of boolean circuits with applications to privacy in on-line marketplaces," 2011, http://eprint.iacr.org/.
24. A. Schropfer, F. Kerschbaum, and G. Muller, "L1 - an intermediate language for mixed-protocol secure computation," in COMPSAC, 2011.
25. C. Liu, Y. Huang, E. Shi, J. Katz, and M. Hicks, "Automating efficient ram-model secure computation," in IEEE Symposium on Security and Privacy (Oakland), 2014.
26. A. Rastogi, M. Hammer, and M. Hicks, "Wysteria: A programming language for generic, mixed-mode multiparty computations," Department of Computer Science, University of Maryland, Tech. Rep. CS-TR-5034, March 2014.
27. "Z3 theorem prover," z3.codeplex.com.
28. "VIFF, the virtual ideal functionality framework," http://viff.dk/.
29. W. Henecka, S. Kögl, A.-R. Sadeghi, T. Schneider, and I. Wehrenberg, "Tasty: tool for automating secure two-party computations," in CCS, 2010.
30. F. Kerschbaum, T. Schneider, and A. Schröpfer, "Automatic protocol selection in secure two-party computations," in NDSS, 2013.
31. S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers, "Secure program partitioning," ACM Trans. Comput. Syst., 2002.