microsoft / Nimble
Rollback protection for confidential services
☆31Updated last year
Alternatives and similar repositories for Nimble:
Users that are interested in Nimble are comparing it to the libraries listed below
- ORAM and related for Intel SGX enclaves☆52Updated last year
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆27Updated 3 months ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 6 months ago
- A CLI tool for interacting with SEV-SNP guest environment☆53Updated 3 weeks ago
- Microsoft Azure Attestation is a solution for attesting Trusted Execution Environments (TEEs)☆32Updated last year
- ☆22Updated this week
- TWINE: An Embedded Trusted Runtime for WebAssembly. This is the repository that contains the source code of Twine and the related benchma…☆39Updated 10 months ago
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆15Updated last month
- Code for zero-knowledge middleboxes☆61Updated 2 years ago
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆98Updated this week
- Global-Scale Secure Multiparty Computation☆39Updated last year
- ☆11Updated 2 years ago
- Modified musl libc for SGX-LKL☆13Updated 4 years ago
- A Go library for MerkleSquare: A Low-Latency Transparency Log System☆21Updated 3 years ago
- Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.☆62Updated this week
- C++ implementation of VSS using LWE encryption and proofs☆15Updated 3 years ago
- sgxtop and sgxstat utilities for monitoring SGX driver statistics☆25Updated 4 years ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Updated 7 months ago
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆56Updated 11 months ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated 2 years ago
- A high-throughput oblivious storage system☆24Updated last year
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆105Updated 2 years ago
- An implementation of ZKBoo☆33Updated 2 years ago
- ☆59Updated 9 months ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆53Updated last month
- ☆35Updated 4 years ago
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆59Updated 3 months ago
- A formally verified security module for AMD confidential VMs☆36Updated 2 months ago
- Libraries and tools for Confidential Computing on Azure☆14Updated last month