Alternatives and similar repositories for safeposix-rust:

Users that are interested in safeposix-rust are comparing it to the libraries listed below

• Lind-Project / lind_project
  Lind: Secure Lightweight Adaptive Isolation
  ☆28Updated 4 months ago
• lumontec / lsmtrace
  Trace deep kernel events through eBPF and lsm hooks
  ☆35Updated 4 years ago
• Vali-Cyber / ebpf-attacks
  A collection of bypasses and exploits for eBPF-based cloud security.
  ☆21Updated last year
• Gui774ume / krie
  Linux Kernel Runtime Integrity with eBPF
  ☆173Updated last year
• intel / ccc-linux-guest-hardening
  Linux Security Hardening for Confidential Compute
  ☆66Updated 4 months ago
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆35Updated 3 months ago
• shamedgh / confine
  This tool set can generate SECCOMP profiles for Docker images. It mainly relies on static analysis, making its results more reliable than…
  ☆64Updated 2 years ago
• rssys / shard
  ☆12Updated 3 years ago
• willfindlay / bpfcontain-rs
  BPFContain is a container security daemon for GNU/Linux leveraging the power and safety of eBPF and Rust.
  ☆57Updated 2 years ago
• mit-ll / Cross-Language-Attacks
  ☆27Updated 2 years ago
• vbpf / ebpf-verifier
  eBPF verifier based on abstract interpretation
  ☆404Updated last week
• ahoi-attacks / heckler
  Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
  ☆28Updated 9 months ago
• bpfverif / agni
  ☆21Updated this week
• kinvolk / seccompagent
  agent for handling seccomp descriptors for container runtimes
  ☆44Updated last year
• google / buzzer
  ☆435Updated 6 months ago
• andrewstucki / bpf-lsm
  Example BPF program with LSM hooks
  ☆33Updated 3 years ago
• dylandreimerink / edb
  An eBPF program debugger
  ☆200Updated 2 years ago
• mit-ll / HAKC
  ☆35Updated 3 years ago
• willfindlay / bpfbox
  🐝 BPFBox 📦 Exploring process confinement in eBPF
  ☆101Updated last year
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• PKU-ASAL / WASEM
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆13Updated 4 months ago
• elastic / bpfcov
  Source-code based coverage for eBPF programs actually running in the Linux kernel
  ☆130Updated 2 weeks ago
• confidential-containers / trustee
  Attestation and Secret Delivery Components
  ☆81Updated this week
• microsoft / Cornelius
  ☆23Updated 3 months ago
• nyx-fuzz / QEMU-Nyx
  ☆87Updated 4 months ago
• wkz / kmemd
  Explore a live Linux kernel's memory using GDB
  ☆114Updated 2 years ago
• adelie-kaslr / source
  Adelie's source code
  ☆11Updated 2 years ago
• ccc-certifier-framework / certifier-framework-for-confidential-computing
  The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…
  ☆59Updated 2 months ago
• rexguowork / phantom-attack
  POC for Phantom Attack
  ☆79Updated 2 years ago
• intel / vtpm-td
  ☆39Updated this week