swMATH ID: 29146
Software Authors: Liu, C., Wang, X., Nayak, K., Huang, Y., Shi, E.
Description: ObliVM: A Programming Framework for Secure Computation. 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.
Homepage: https://dl.acm.org/citation.cfm?id=2867660
Source Code: https://github.com/oblivm/ObliVMLang
Related Software: ABY; Sharemind; GraphSC; EMP-toolkit; TinyLEGO; JIMU; MiniLEGO; ABC; Obliv-C; TinyGarble; Frigate; JustGarble; TASTY; CBMC; CryptHOL; HOL; Isabelle/HOL; Isabelle
Cited in: 7 Publications

Citations by Year