Stars
A privacy-preserving computing system based on TEE.
Occlum is a memory-safe, multi-process library OS for Intel SGX
asterinas / occlum
Forked from occlum/occlumOcclum is a memory-safe, multi-process library OS for Intel SGX
Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.
HyperEnclave is an open and cross-platform trusted execution environment.
An Open and Cross-platform Trusted Execution Environment.
An ongoing attempt to create own hypervisior from scratch in linux.
The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.
An interpreter for Rust's mid-level intermediate representation
A curated list of Rust code and resources.
An implementation of SM2 signature creation and verification is provided. Header files and library files of OpenSSL 1.1.1 or higher version are needed while compiling and linking.
Complete code for the larger example programs from the book.
Design, develop, and deploy effective software systems using the advanced constructs of Rust
The Operating System for JudgeDuck -- Stable and Accurate Judge System
A fast, general purpose crypto library in pure Rust.
CTF framework and exploit development library
The Grimoire Hypervisor solution for x86 Processors with experimental nested virtualization support. Remastering with Rust in progress.
🦀 Small exercises to get you used to reading and writing Rust code!
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]