Lind-Project / safeposix-rustLinks
Rust implementation of SafePOSIX
☆13Updated 7 months ago
Alternatives and similar repositories for safeposix-rust
Users that are interested in safeposix-rust are comparing it to the libraries listed below
Sorting:
- Lind: Secure Lightweight Adaptive Isolation☆32Updated 5 months ago
- Linux Security Hardening for Confidential Compute☆69Updated last year
- ☆468Updated last month
- This tool set can generate SECCOMP profiles for Docker images. It mainly relies on static analysis, making its results more reliable than…☆70Updated 3 years ago
- COCONUT-SVSM☆188Updated last week
- eBPF verifier based on abstract interpretation☆436Updated last week
- Deploy the SC2 system on Kubernetes.☆10Updated 7 months ago
- BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.☆59Updated 3 years ago
- ☆10Updated 2 years ago
- ☆45Updated 3 weeks ago
- Process-based Confidential Container Runtime☆85Updated 2 months ago
- Trace deep kernel events through eBPF and lsm hooks☆42Updated 4 years ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆42Updated this week
- ☆61Updated 3 months ago
- ☆43Updated last week
- Linux Kernel Runtime Integrity with eBPF☆184Updated 2 years ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆71Updated 3 months ago
- Lightweight fuzzing of a memory snapshot using KVM☆460Updated last year
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆105Updated last year
- ☆39Updated 2 weeks ago
- OCI hook to trace syscalls and generate a seccomp profile☆338Updated last week
- ☆58Updated 8 months ago
- Confidential Containers Shim Firmware☆115Updated this week
- ☆42Updated 3 months ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆34Updated last year
- MarbleRun is the control plane for confidential computing. Deploy, scale, and verify your confidential microservices on vanilla Kubernete…☆268Updated last week
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36Updated 2 years ago
- A file system events notifier based on eBPF☆73Updated 2 weeks ago
- QEMU fork☆23Updated last week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year