sancus-tee/sancus-core sancus-tee/sancus-core

  • Stars
    star
    20
  • Rank 1,101,082 (Top 23 %)
  • Language Verilog
  • License
    BSD 3-Clause "New...
  • Created about 7 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sancus-tee/sancus-core
github

sancus-tee

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Minimal OpenMSP430 hardware extensions for isolation and attestation

More Repositories

1

tutorial-dsn18

Building Distributed Enclave Applications with Sancus and SGX
C
13
star
2

vulcan

Vehicular component authentication and software isolation
C
11
star
3

sancus-compiler

Secure compilation of annotated C code to Sancus enclaves
Python
6
star
4

sancus-riot

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

sancus-main

Top-level repository and build script
Makefile
4
star
6

sancus-examples

Examples and test suite
C
4
star
7

sancus-website

https://distrinet.cs.kuleuven.be/software/sancus
HTML
3
star
8

sancus-support

Untrusted support software and device drivers
C
2
star
9

sm-access-control

Secure resource sharing for embedded protected module architectures
C
1
star
10

libspongent

A trusted library implementing SPONGENT/SPONGEWRAP authenticated encryption for use within SGX enclaves
C++
1
star
11

soteria-core

Offline Software Protection within Low-cost Embedded Devices
Verilog
1
star