ObliVM is a privacy-preserving computation framework that
allows one or multiple organizations to perform secure data analysis
without disclosing their private data.
ObliVM has rich applications especially in domains that involve sensitive data, such as hospital, medical, and genomic data.
Example source code :
ObliVM adopts efficient oblivious algorithms, and compiles programs to succinct circuits suitable for secure computation.
Programmers write programs without having to understand cryptography, ObliVM auto-generates cryptographic implementations.
We provide formal security through a core calculus and type system that capture "obliviousness".