Sancus (@sancus-tee)
Guthub

sancus-tee

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    71
  • Global Org. Rank 67,287 (Top 22 %)
  • Registered about 7 years ago
  • Most used languages
    C
         50.0 %
    Verilog     16.7 %
    Makefile     8.3 %
    C++
         8.3 %
    Python
         8.3 %
    HTML
         8.3 %
  • Location πŸ‡§πŸ‡ͺ Belgium
  • Country Total Rank 1,321
  • Country Ranking
    Verilog     1
    Makefile     32
    C
         86
    HTML
         440
    C++
         823
    Python
         956

Top repositories

1

sancus-core

Minimal OpenMSP430 hardware extensions for isolation and attestation
Verilog
20
star
2

tutorial-dsn18

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

vulcan

Vehicular component authentication and software isolation
C
11
star
4

sancus-compiler

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

sancus-riot

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

sancus-main

Top-level repository and build script
Makefile
4
star
7

sancus-examples

Examples and test suite
C
4
star
8

sancus-website

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

sancus-support

Untrusted support software and device drivers
C
2
star
10

sm-access-control

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

libspongent

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

soteria-core

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