Pinned Loading

1. sancus-main sancus-main Public

   Top-level repository and build script

   Makefile 5 5

2. sancus-core sancus-core Public

   Minimal OpenMSP430 hardware extensions for isolation and attestation

   Verilog 22 14

3. sancus-compiler sancus-compiler Public

   Secure compilation of annotated C code to Sancus enclaves

   Python 6 7

4. sancus-examples sancus-examples Public

   Examples and test suite

   C 4 8

5. vulcan vulcan Public

   Vehicular component authentication and software isolation

   C 11 8

6. sancus-riot sancus-riot Public

   A Sancus-enabled version of the RIOT OS with protected scheduler enclave and certain availability guarantees.

   C 6 1