/sancus-compiler

Secure compilation of annotated C code to protected modules

Primary LanguagePython

This repository is not active