Explore projects

TEE-based Metadata Service

Practical verification of numerical kernels

Distributed register implementation inside Intel SGX

Parallel reactive synthesis for omega-regular specifications under the transition fairness condition

Practical verification of numerical kernels

DeathStarBench modified with X-Trace tracing