A library OS for Linux multi-process applications, with Intel SGX support
This is used for calculation on mortgage
Intel SGX for Linux*
Simple discord bot to play music and manage your server
Keyhouse is a skeleton of general-purpose Key Management System written in Rust.
APIs to help Rust programs use Spire workload API
copied from https://blog.hansenpartnership.com/wp-uploads/2020/12/sevsecret.txt, modified to support qemu 6.0.0
PDFs of all the Gitpitch presentations
sample 1 for https://rust-fuzz.github.io/book/cargo-fuzz/structure-aware-fuzzing.html#enable-the-main-projects-arbitrary-cargo-feature-for-the-fuzz-targets
Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
Apache Spark - A unified analytics engine for large-scale data processing
Occlum is a memory-safe, multi-process library OS for Intel SGX
An encrypted data analytics platform
Edgeless RT is an SDK and a runtime for Intel SGX. It combines top-notch Go support with simplicity, robustness and a small TCB. Developing confidential microservices has never been easier! C++17 and Rust (experimental) are also supported.
A place to store some examples which use Trillian APIs to build things.
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.
Auditing for TLS certificates (Go code)
My configuration files
:crab: Small exercises to get you used to reading and writing Rust code!
cs140e course materials.
The Fortanix Rust Enclave Development Platform
Template to develop bare metal applications for Cortex-M microcontrollers
ArduPlane, ArduCopter, ArduRover source
CS140e without Rust is not CS140e. Sergio Benitez plz come back.