Research Software: Distributed Systems

AccTEE

AccTEE enables resource accouting of remote computations

EActors is an actor-based programming framework for SGX

sgx-perf: High-Level Enclave Performance Analyser

SGXoMeter: Open and Modular Benchmarking for Intel SGX

A database for Intel SGX with a novel virtual memory manager based on SQLite.