Mithril Security's repositories
incubator-teaclave-sgx-sdk
Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
rsa-sgx
Port RSA to Teaclave Rust SGX SDK and Xargo (add custom feature sgx_std for std error without pkcs1 fs access)
anyhow-xargo-sgx
Port anyhow to Teaclave Rust SGX SDK and Xargo
b64-ct
Adapted version of b64-ct to work with Teaclave Rust SGX SDK 1.1.3. This is a HACK. DO NOT USE IN PRODUCTION
env_logger-sgx
Port env_logger to Teaclave Rust SGX SDK and Xargo
esaxx-rs
Bindings to copy of SentencePiece esaxx library (fast suffix array and frequent substrings).
futures-sgx
Rust crates futures ported for SGX.
httparse-sgx
Rust crate httparse ported for SGX.
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
serde-xargo-sgx
Port serde to Teaclave Rust SGX SDK and Xargo
teaclave-sgx-sdk
Fork of Teaclave Rust SGX SDK that provides the ability to write Intel SGX applications in Rust Programming Language.
tokenizers
💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
tokio-sgx
Rust crates tokio ported for SGX.
tonic-rpc
Build RPCs on top of the tonic gRPC library by defining your types in Rust instead of proto.
warp
A super-easy, composable, web server framework for warp speeds.
yolov5
YOLOv5 🚀 in PyTorch > ONNX > CoreML > TFLite