microsoft / LSKV
A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
☆34Updated 9 months ago
Related projects: ⓘ
- Research unikernel for virtualized services☆48Updated last year
- Crates for Microsoft Hypervisor ioctls and bindings☆29Updated this week
- Library for AMD SEV☆20Updated 2 years ago
- ☆20Updated last week
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆15Updated last month
- SFI verifier of Wasm binaries☆79Updated last year
- Administrative utility for SEV-SNP☆21Updated this week
- ☆37Updated last year
- Simple Encrypted File System for Occlum☆10Updated last month
- ☆13Updated last month
- Confidential Containers Shim Firmware☆91Updated this week
- Modified musl libc for SGX-LKL☆13Updated 3 years ago
- Helpers and utilities used by multiple rust-vmm components and VMMs☆78Updated 2 weeks ago
- Confidential Containers Guest Tools and Components☆81Updated this week
- Tools and runtime for launching unmodified container images in Trusted Execution Environments☆142Updated 2 months ago
- ☆56Updated this week
- Administrative utility for AMD SEV☆41Updated last week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆123Updated 7 months ago
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆29Updated last week
- A CLI tool for interacting with SEV-SNP guest environment☆37Updated last week
- Generic Attestation Service☆39Updated 9 months ago
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆19Updated this week
- Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)☆33Updated last year
- ☆30Updated this week
- Programming Language for Continuous Deep Analytics☆44Updated 11 months ago
- TLA+ specifications related to Viewstamped Replication☆27Updated last year
- A determinizing tracer using Ptrace☆33Updated 4 years ago
- Porpoise is a tool to port applications to Intel SGX enclaves.☆9Updated 2 years ago
- ☆17Updated 3 weeks ago
- Key Broker Server for SEV(-ES)☆11Updated last month