microsoft / Nimble
Rollback protection for confidential services
☆30Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Nimble
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆89Updated this week
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆58Updated 4 months ago
- The reference implementation of Tiptoe, accompanying the paper "Private web search with Tiptoe" (SOSP 2023).☆37Updated last year
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆25Updated 5 months ago
- Code for zero-knowledge middleboxes☆59Updated 2 years ago
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆14Updated 2 months ago
- A CLI tool for interacting with SEV-SNP guest environment☆44Updated 2 weeks ago
- A framework to run Fully Homomorphic Encryption computations (especially using the SEAL library) on Trusted Execution Environments, with …☆41Updated last year
- An implementation of ZKBoo☆33Updated 2 years ago
- A basic implementation of Yao's Garbled Circuits☆30Updated 2 years ago
- Administrative utility for AMD SEV☆46Updated last month
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆57Updated last month
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated last year
- A Go library for MerkleSquare: A Low-Latency Transparency Log System☆20Updated 3 years ago
- Argument systems for inner pairing products☆41Updated 3 months ago
- ☆22Updated 9 months ago
- Rust library for Intel TDX☆21Updated 3 months ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Updated 3 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆19Updated last month
- A formally verified security module for AMD confidential VMs☆34Updated 3 weeks ago
- ORAM and related for Intel SGX enclaves☆51Updated last year
- SFI verifier of Wasm binaries☆81Updated last year
- ☆21Updated this week
- Curve ecGFp5☆67Updated 2 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated last year
- ☆64Updated 3 weeks ago
- OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/☆29Updated last month
- Reference repository on Lattice-based Cryptography☆22Updated last month
- An elastic proof system based on arkworks☆76Updated 11 months ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 4 months ago