ObliVM: A Programming Framework for Secure Computation

We design and develop ObliVM, 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-fri...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Chang Liu, Xiao Shaun Wang, Nayak, Kartik, Yan Huang, Shi, Elaine
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Compiler Cryptography Libraries Logic gates Oblivious Algorithms Oblivious RAM Program processors Programming Programming Language Protocols Secure Computation Type System
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!