Skip to content

@sancus-tee Sancus

Change the repository type filter

All

    Repositories list

    16 repositories

    • sancus-website

      Public
      https://distrinet.cs.kuleuven.be/software/sancus
      HTML
      •3•3•0•0•Updated Oct 15, 2024Oct 15, 2024

    • sancus-examples

      Public
      Examples and test suite
      C
      •
      GNU General Public License v3.0
      •7•4•2•1•Updated Apr 8, 2024Apr 8, 2024

    • sancus-core

      Public
      Minimal OpenMSP430 hardware extensions for isolation and attestation
      Verilog
      •
      BSD 3-Clause "New" or "Revised" License
      •13•20•13•2•Updated May 9, 2023May 9, 2023

    • sancus-main

      Public
      Top-level repository and build script
      Makefile
      •5•4•0•0•Updated Feb 22, 2023Feb 22, 2023

    • sancus-support

      Public
      Untrusted support software and device drivers
      C
      •
      GNU Lesser General Public License v2.1
      •7•2•1•2•Updated Oct 17, 2022Oct 17, 2022

    • sancus-compiler

      Public
      Secure compilation of annotated C code to Sancus enclaves
      Python
      •
      GNU General Public License v3.0
      •7•6•10•0•Updated Oct 17, 2022Oct 17, 2022

    • reactive-tools

      Public
      Tools for authentic execution work.
      Python
      •2•0•0•0•Updated Aug 30, 2022Aug 30, 2022

    • vulcan

      Public
      Vehicular component authentication and software isolation
      C
      •
      GNU General Public License v3.0
      •8•11•1•5•Updated Nov 29, 2021Nov 29, 2021

    • sancus-riot

      Public
      A Sancus-enabled version of the RIOT OS with protected scheduler enclave and certain availability guarantees.
      C
      •
      Other
      •1•5•0•0•Updated Oct 18, 2021Oct 18, 2021

    • tutorial-dsn18

      Public
      Building Distributed Enclave Applications with Sancus and SGX
      sgxenclavesancus
      C
      •1•13•0•0•Updated Dec 9, 2020Dec 9, 2020

    • libspongent

      Public
      A trusted library implementing SPONGENT/SPONGEWRAP authenticated encryption for use within SGX enclaves
      C++
      •0•1•0•0•Updated Jun 20, 2018Jun 20, 2018

    • soteria-test

      Public
      Offline Software Protection within Low-cost Embedded Devices
      C
      •0•0•0•0•Updated Jun 5, 2018Jun 5, 2018

    • soteria-compiler

      Public
      Offline Software Protection within Low-cost Embedded Devices
      C++
      •1•0•0•0•Updated May 30, 2018May 30, 2018

    • soteria-core

      Public
      Offline Software Protection within Low-cost Embedded Devices
      Verilog
      •0•1•0•0•Updated May 30, 2018May 30, 2018

    • sancus-contiki

      Public
      Port of the Contiki OS with support for Sancus modules
      C
      •0•0•0•0•Updated Oct 3, 2017Oct 3, 2017

    • sm-access-control

      Public
      Secure resource sharing for embedded protected module architectures
      C
      •0•1•2•0•Updated Jun 28, 2017Jun 28, 2017