ObliVM: A programming framework for secure computation

Chang Liu, Xiao Wang, Kartik Nayak, Yan Huang, Elaine Shi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

100 Scopus citations

Abstract

We design and develop Obli VM, a programming framework for secure computation. ObliVM offers a domain specific language designed for compilation of programs into efficient oblivious representations suitable for secure computation. ObliVM offers a powerful, expressive programming language and user-friendly oblivious programming abstractions. We develop various showcase applications such as data mining, streaming algorithms, graph algorithms, genomic data analysis, and data structures, and demonstrate the scalability of ObliVM to bigger data sizes. We also show how ObliVM significantly reduces development effort while retaining competitive performance for a wide range of applications in comparison with hand-crafted solutions. We are in the process of open-sourcing ObliVM and our rich libraries to the community (www.oblivm.com), offering a reusable framework to implement and distribute new cryptographic algorithms.

Original languageEnglish (US)
Title of host publicationProceedings - 2015 IEEE Symposium on Security and Privacy, SP 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages359-376
Number of pages18
ISBN (Electronic)9781467369497
DOIs
StatePublished - Jul 17 2015
Event36th IEEE Symposium on Security and Privacy, SP 2015 - San Jose, United States
Duration: May 18 2015May 20 2015

Publication series

NameProceedings - IEEE Symposium on Security and Privacy
Volume2015-July
ISSN (Print)1081-6011

Other

Other36th IEEE Symposium on Security and Privacy, SP 2015
CountryUnited States
CitySan Jose
Period5/18/155/20/15

    Fingerprint

Keywords

  • Compiler
  • Oblivious Algorithms
  • Oblivious RAM
  • Programming Language
  • Secure Computation
  • Type System

ASJC Scopus subject areas

  • Safety, Risk, Reliability and Quality
  • Software
  • Computer Networks and Communications

Cite this

Liu, C., Wang, X., Nayak, K., Huang, Y., & Shi, E. (2015). ObliVM: A programming framework for secure computation. In Proceedings - 2015 IEEE Symposium on Security and Privacy, SP 2015 (pp. 359-376). [7163036] (Proceedings - IEEE Symposium on Security and Privacy; Vol. 2015-July). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SP.2015.29