Explore projects

Proof-of-Concept of having a binary spawn multiple different Apache Teaclave Rust SGX SDK Enclaves. Now part of the ds-bft-split/themis repo.

Trying out multi-enclave systems in rust using bare-bones wrappers

Just a proof-of-concept project of having no_std crypto in a Fortanix enclave

A Library to Access SMI MIB Information

Local Grumpy without Git Magic

Interval Arithmetic Prover Framework.

Square-in-circle interval arithmetic proofs.

Rust C++ interop