Explore projects

Distributed register implementation inside Intel SGX

SimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks

Code for computing sufficient, implementable and permissive assumptions.

TEE-based Metadata Service

ZooKeeper instrumented with tracing framework. Quite out of date (last touched 2014)