Alternatives and similar repositories for devenv:

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

• mars-research / lvd-bflank
  ☆12Updated 2 years ago
• mars-research / lvd-linux
  ☆19Updated 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
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• caijiqhx / Notes
  caijiqhx notes
  ☆17Updated 5 months ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 4 years ago
• AMDESE / linux
  Linux kernel source tree
  ☆26Updated last week
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• zhou-yuxin / kvm-ept-sample
  A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x
  ☆21Updated 6 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated last year
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆24Updated 11 months ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆18Updated last month
• smherwig / phoenix
  Intel SGX microkernel based on Graphene-SGX
  ☆9Updated 4 years ago
• rssys / shard
  ☆13Updated 3 years ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆13Updated last year
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 5 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆37Updated 9 months ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 4 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆31Updated 3 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆14Updated this week
• 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
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 7 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 8 months ago
• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆39Updated last year
• vusec / tlbkit
  some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.
  ☆13Updated 5 years ago
• ds2-lab / ALPS
  ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)
  ☆11Updated 9 months ago