AuthenticExecution

.github

Artifacts and documentation of the TOPS journal paper End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs

examples

Example deployments

rust-sgx-gen

Code generator for creating an Authentic Execution Rust module

attestation-manager

SGX application that manages the attestation of SMs in a deployment

env

Makefile & docs to run basic AuthenticExecution components (reactive-tools, event managers, etc.)

event-manager-sgx

Rust implementation of the event manager for the Authentic Execution framework (SGX/native)

aesm-client

Untrusted client that mediates the communication with the AESM service for the SGX attestation

docker-sgx-base

Base image for running SGX enclaves using Fortanix EDP

event-manager-sancus

Docker image to deploy the Sancus Event Manager

spongent-rs

Rust implementation of the SPONGENT cryptographic functions.

attestation-manager-client

CLI for the Attestation Manager

build

Makefiles to use OP-TEE on various platforms

docker-sgx-tools

Docker image that includes tools to manage SGX enclaves using Fortanix EDP

event-manager-trustzone

optee_examples

OP-TEE Sample Applications

optee_os

Trusted side of the TEE

reactive-base

Base Docker image that includes dependencies for reactive-tools

reactive-net

Python library for managing network communications

reactive-tools

Tools for authentic execution work.

reactive-uart2ip

rust-mbedtls

Idiomatic Rust wrapper for MbedTLS

rust-sgx-libs

Rust libraries for Authentic Execution

rust-sgx-remote-attestation

Remote attestation framework for Fortanix EDP

sancus-compiler

Secure compilation of annotated C code to protected modules

sancus-support

Untrusted support software and device drivers

sgx-attester

Command-line application to perform SGX attestation

shared-secure-peripherals

spongent-cpp-rs

Rust wrapper around C++ SPONGENT library

TZ-Code-Generator