GitHub repository: sancus-tee/sancus-compiler
Primary language: Python
Description: Secure compilation of annotated C code to protected modules