Explore projects

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

TEE-based Metadata Service

Code for computing sufficient, implementable and permissive assumptions.

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

Distributed register implementation inside Intel SGX