hgn / barnowld

Related projects ⓘ

Alternatives and complementary repositories for barnowld

• microsoft / LSKV
  A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)
  ☆35Updated 11 months ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆25Updated 3 years ago
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆32Updated last week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆25Updated last month
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆125Updated 9 months ago
• Xilinx-CNS / ebpf_asm
  An assembler for eBPF programs written in an Intel-like assembly syntax.
  ☆46Updated last year
• vusec / inspectre-gadget
  InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets
  ☆44Updated last month
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated last year
• MSRSSP / core-slicing
  Getting Started with the Core Slicing Prototype
  ☆11Updated last year
• intel-staging / td-partitioning-svsm
  ☆10Updated this week
• fujita / libbpf-async
  BPF library for Async Rust, complementary for libbpf-rs.
  ☆18Updated 9 months ago
• tudinfse / SpecFuzz
  A tool to enable fuzzing for Spectre vulnerabilities
  ☆30Updated 4 years ago
• JonathonReinhart / linux-netns-sysctl-verify
  Linux network namespace sysctl safety verifier.
  ☆11Updated 3 years ago
• tzussman / kmodleak
  Track memory leaks for Linux kernel modules using eBPF
  ☆37Updated 3 weeks ago
• asch / buse
  BUSE: Block device in user space
  ☆15Updated 2 years ago
• fujita / dns-cache-bpf
  ☆13Updated 3 years ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆22Updated 7 months ago
• ossf / Memory-Safety
  ☆19Updated 3 weeks ago
• vladandrew / awesome-unikernels
  ☆11Updated 3 years ago
• xdp-project / bpf-research
  Notes and work-in-progress for BPF-related research projects
  ☆10Updated 2 years ago
• trailofbits / ebpf-verifier
  Harness for the Linux kernel eBPF verifier
  ☆32Updated 2 years ago
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆35Updated 2 years ago
• willfindlay / bpfbox
  🐝 BPFBox 📦 Exploring process confinement in eBPF
  ☆101Updated 10 months ago
• danobi / vmtest
  Helps run tests in virtual machines
  ☆107Updated 3 weeks ago
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆36Updated 4 years ago
• dylandreimerink / edb
  An eBPF program debugger
  ☆197Updated 2 years ago
• badboy / ebpf-disasm
  Simple ebpf disassembler in Rust
  ☆35Updated 5 years ago
• redcanaryco / ebpfmon
  ☆84Updated 4 months ago
• intel / MigTD
  ☆21Updated this week