microsoft / LSKV
A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
☆35Updated last year
Alternatives and similar repositories for LSKV:
Users that are interested in LSKV are comparing it to the libraries listed below
- Research unikernel for virtualized services☆49Updated 2 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 9 months ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Crates for Microsoft Hypervisor ioctls and bindings☆36Updated this week
- Administrative utility for SEV-SNP☆32Updated last week
- Messaging and state layer for distributed serverless applications☆65Updated 7 months ago
- Tools and runtime for launching unmodified container images in Trusted Execution Environments☆146Updated last month
- ☆58Updated 3 weeks ago
- ☆25Updated 2 years ago
- Edgeless RT is an SDK and a runtime for Intel SGX. It combines top-notch Go support with simplicity, robustness and a small TCB. Developi…☆138Updated 2 months ago
- A CLI tool for interacting with SEV-SNP guest environment☆60Updated 2 months ago
- Programming Language for Continuous Deep Analytics☆46Updated last year
- Process-based Confidential Container Runtime☆81Updated last week
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- A Daemon for Real-Time Detection of Cache Side-Channel Attacks☆14Updated last year
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- ☆11Updated 5 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated 11 months ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆128Updated last year
- Experimental Linux Virtual Machine based on UML and noMMU☆64Updated 4 years ago
- ☆99Updated 2 weeks ago
- A determinizing tracer using Ptrace☆36Updated 4 years ago
- Simple Encrypted File System for Occlum☆12Updated 3 months ago
- Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.☆63Updated last month
- Confidential Containers Shim Firmware☆111Updated 3 weeks ago
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆16Updated 4 years ago
- Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)☆34Updated 2 years ago
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆61Updated last month
- AMD SEV Tool☆83Updated last year