Sancus

Sancus's repositories

sancus-core

Minimal OpenMSP430 hardware extensions for isolation and attestation

Language:VerilogBSD-3-Clause20 3 16

tutorial-dsn18

Building Distributed Enclave Applications with Sancus and SGX

Language:C13 30

vulcan

Vehicular component authentication and software isolation

Language:CGPL-3.011 3 1

sancus-compiler

Secure compilation of annotated C code to Sancus enclaves

Language:PythonGPL-3.06 4 18

sancus-riot

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

Language:CNOASSERTION5 20

sancus-examples

Examples and test suite

Language:CGPL-3.0400

sancus-main

Top-level repository and build script

Language:Makefile4 3 1

sancus-website

https://distrinet.cs.kuleuven.be/software/sancus

Language:HTML3 3 1

sancus-support

Untrusted support software and device drivers

Language:CLGPL-2.1200

libspongent

A trusted library implementing SPONGENT/SPONGEWRAP authenticated encryption for use within SGX enclaves

Language:C++1 20

sm-access-control

Secure resource sharing for embedded protected module architectures

Language:C100

soteria-core

Offline Software Protection within Low-cost Embedded Devices

Language:Verilog100

reactive-tools

Tools for authentic execution work.

Language:Python000

sancus-contiki

Port of the Contiki OS with support for Sancus modules

Language:C000

soteria-compiler

Offline Software Protection within Low-cost Embedded Devices

Language:C++000

soteria-test

Offline Software Protection within Low-cost Embedded Devices

Language:C000