Virtual Secure Platform (VSP) provides a toolchain to run encrypted C programs without decryption.

VSP is the first comprehensive platform that implements a multi-opcode general-purpose sequential processor over Fully Homomorphic Encryption (FHE) for Secure Multi-Party Computation (SMPC). VSP protects both the data and functions on which the data are evaluated from the adversary in a secure computation offloading situation like cloud computing.

• GitHub
• arXiv
• 30th USENIX Security Symposium prepublication

Demo on YouTube

The commands used in the video are also listed on README.

Japanese Resouces

• カーネル/VM探検隊@関西 10回目
  • Slides
  • Video
• 『そのクラウド、信用できますか？　〜プログラムを暗号化したまま実行する〜』（カオスの坩堝）
  • VSPの概要と原理に関する簡単な説明。
• 【2019年度未踏／No.15】準同型暗号によるバーチャルセキュアプラットフォームの開発
  • Abstract
  • Video
  • Report

Contact

• Post issues on GitHub.
• Email addresses are in the paper.