Pinned Repositories
.github
Artifacts and documentation of the TOPS journal paper End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs
aesm-client
Untrusted client that mediates the communication with the AESM service for the SGX attestation
attestation-manager
SGX application that manages the attestation of SMs in a deployment
docker-sgx-base
Base image for running SGX enclaves using Fortanix EDP
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)
examples
Example deployments
rust-sgx-gen
Code generator for creating an Authentic Execution Rust module
rust-sgx-remote-attestation
Remote attestation framework for Fortanix EDP
spongent-rs
Rust implementation of the SPONGENT cryptographic functions.
AuthenticExecution's Repositories
AuthenticExecution/.github
Artifacts and documentation of the TOPS journal paper End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs
AuthenticExecution/examples
Example deployments
AuthenticExecution/rust-sgx-gen
Code generator for creating an Authentic Execution Rust module
AuthenticExecution/attestation-manager
SGX application that manages the attestation of SMs in a deployment
AuthenticExecution/env
Makefile & docs to run basic AuthenticExecution components (reactive-tools, event managers, etc.)
AuthenticExecution/event-manager-sgx
Rust implementation of the event manager for the Authentic Execution framework (SGX/native)
AuthenticExecution/rust-sgx-remote-attestation
Remote attestation framework for Fortanix EDP
AuthenticExecution/aesm-client
Untrusted client that mediates the communication with the AESM service for the SGX attestation
AuthenticExecution/docker-sgx-base
Base image for running SGX enclaves using Fortanix EDP
AuthenticExecution/event-manager-sancus
Docker image to deploy the Sancus Event Manager
AuthenticExecution/spongent-rs
Rust implementation of the SPONGENT cryptographic functions.
AuthenticExecution/attestation-manager-client
CLI for the Attestation Manager
AuthenticExecution/build
Makefiles to use OP-TEE on various platforms
AuthenticExecution/docker-sgx-tools
Docker image that includes tools to manage SGX enclaves using Fortanix EDP
AuthenticExecution/event-manager-trustzone
AuthenticExecution/optee_examples
OP-TEE Sample Applications
AuthenticExecution/optee_os
Trusted side of the TEE
AuthenticExecution/reactive-base
Base Docker image that includes dependencies for reactive-tools
AuthenticExecution/reactive-net
Python library for managing network communications
AuthenticExecution/reactive-tools
Tools for authentic execution work.
AuthenticExecution/reactive-uart2ip
AuthenticExecution/rust-mbedtls
Idiomatic Rust wrapper for MbedTLS
AuthenticExecution/rust-sgx-libs
Rust libraries for Authentic Execution
AuthenticExecution/sancus-compiler
Secure compilation of annotated C code to protected modules
AuthenticExecution/sancus-support
Untrusted support software and device drivers
AuthenticExecution/sgx-attester
Command-line application to perform SGX attestation
AuthenticExecution/shared-secure-peripherals
AuthenticExecution/spongent-cpp-rs
Rust wrapper around C++ SPONGENT library
AuthenticExecution/TZ-Code-Generator