GitHub repository: sancus-pma/sancus-compiler
Primary language: Python
Created: 2017-06-27T17:13:45Z
Description: Secure compilation of annotated C code to protected modules