sancus-compiler

November 29, 2021 ยท View on GitHub

Sancus examples

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.