Overview
Explore a programming framework for secure computation in this IEEE Symposium presentation. Learn about ObliVM, a domain-specific language designed to compile programs into efficient oblivious representations suitable for secure computation. Discover how ObliVM offers a powerful, expressive programming language and user-friendly oblivious programming abstractions. Examine various showcase applications including data mining, streaming algorithms, graph algorithms, genomic data analysis, and data structures. Understand how ObliVM scales to larger data sizes and significantly reduces development effort while maintaining competitive performance compared to hand-crafted solutions. Gain insights into the open-source initiative behind ObliVM and its rich libraries, providing a reusable framework for implementing and distributing new cryptographic algorithms.
Syllabus
ObliVM: A Programming Framework for Secure Computation
Taught by
IEEE Symposium on Security and Privacy