A programming language for writing secure distributed systems by leveraging Intel SGX. Built on top of the P programming language for distributed systems.
Asia CCS 2021 Conference Paper [5-24-2021]
Conference Presentation [7-7-2021]
Conference Presentation Slides [7-7-2021]
Master's Thesis [5-28-2020]
Learn&Verify Group Presentation Video [3-20-2020]
Follow this if Intel SGX and Docker are not installed [Recommended for compatibility].
Follow this if building this project on a pre-existing Intel SGX and Docker installation.
In order to run sample programs, follow this.
For performance testing, read this.
The architecture of the codebase is documented here.
An example of the information flow analysis type checker is located here.