sancus-compiler

Secure compilation of annotated C code to Sancus enclaves.

Instalation

See sancus-main for detailed installation instructions and reproducible builds.

License

• The Sancus compiler toolchain is licensed under GPLv3, with an explicit GCC runtime exception that allows proprietary code to be compiled with the Sancus toolchain.
• All code under src/crypto/ implementing spongent/spongewrap cryptographic primitives and wrappers is placed in the public domain.