@sancus-pma

Sancus

A Lightweight Protected Module Architecture for Secure IoT Devices

Pinned repositories

  1. sancus-core

    Minimal OpenMSP430 hardware extensions for isolation and attestation

    Verilog 10 3

  2. sancus-compiler

    Secure compilation of annotated C code to protected modules

    C++ 3 3

  3. sancus-support

    Untrusted support software and device drivers

    C 2 4

  4. sancus-examples

    Examples and test suite

    C 1 3

  5. sancus-main

    Top-level repository and build script

    Makefile 2 3

  6. vulcan

    Vehicular component authentication and software isolation

    C 8 3

  • Vehicular component authentication and software isolation

    C 8 3 Updated Jan 18, 2019
  • Secure compilation of annotated C code to protected modules

    C++ 3 3 Updated Jan 17, 2019
  • Examples and test suite

    C 1 3 Updated Jan 16, 2019
  • Minimal OpenMSP430 hardware extensions for isolation and attestation

    Verilog 10 3 Updated Jan 10, 2019
  • Untrusted support software and device drivers

    C 2 4 Updated Jan 3, 2019
  • Top-level repository and build script

    Makefile 2 3 Updated Dec 20, 2018
  • Building Distributed Enclave Applications with Sancus and SGX

    C 4 Updated Jun 25, 2018
  • A trusted library implementing SPONGENT/SPONGEWRAP authenticated encryption for use within SGX enclaves

    C++ Updated Jun 20, 2018
  • Offline Software Protection within Low-cost Embedded Devices

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

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

    Verilog Updated May 30, 2018
  • Port of the Contiki OS with support for Sancus modules

    C Updated Oct 3, 2017
  • Secure resource sharing for embedded protected module architectures

    C 1 Updated Jun 28, 2017