Alternatives and similar repositories for devenv

Users that are interested in devenv are comparing it to the libraries listed below

• hasanmdme / decap
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Updated 2 years ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 3 years ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 5 years ago
• smherwig / phoenix
  Intel SGX microkernel based on Graphene-SGX
  ☆9Updated 4 years ago
• mars-research / lvd-linux
  ☆19Updated 3 years ago
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• TheNetAdmin / LENS
  [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems
  ☆14Updated 10 months ago
• ahoi-attacks / heckler
  Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
  ☆30Updated last year
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆24Updated last year
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• ds2-lab / ALPS
  ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)
  ☆11Updated 10 months ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆39Updated last year
• mit-pdos / ward
  ☆30Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆35Updated 7 months ago
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆37Updated 11 months ago
• ix-project / dune
  ☆31Updated 6 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• vusec / tlbkit
  some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.
  ☆13Updated 5 years ago
• AMDESE / linux
  Linux kernel source tree
  ☆27Updated 2 weeks ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆13Updated last month
• intel-staging / qemu-tdx
  ☆37Updated this week
• jasonyu1996 / elasticlave
  ☆23Updated 2 months ago
• trugw / TrustedGateway
  Trusted Gateway: hardened router architecture with ARM TrustZone protected firewall, routing, and NIC modules.
  ☆14Updated 2 years ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆16Updated 2 weeks ago