Alternatives and similar repositories for devenv

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

• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆18Updated 5 years ago
• sslab-gatech / libmpk
  ☆51Updated 4 years ago
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• TwinVisor / twinvisor-prototype
  ☆22Updated 3 years ago
• adilahmad17 / Veil
  ☆10Updated last year
• intel-staging / td-partitioning-svsm
  ☆14Updated last month
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆23Updated 6 years ago
• PLSysSec / swivel
  ☆17Updated 2 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆25Updated last year
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆39Updated 5 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆49Updated last year
• rssys / shard
  ☆13Updated 4 years ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆14Updated 2 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆37Updated last year
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆18Updated last year
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆16Updated 4 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆20Updated 4 years ago
• AMDESE / linux
  Linux kernel source tree
  ☆31Updated this week
• GiantVM / Linux-DSM
  Source code of KVM
  ☆19Updated 3 years ago
• shamedgh / c2c
  This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…
  ☆11Updated 3 years ago
• kvm-unit-tests / kvm-unit-tests
  This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …
  ☆29Updated 2 weeks ago
• securesystemslab / PKRU-Safe
  ☆20Updated 3 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated 2 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 6 years ago
• caijiqhx / Notes
  caijiqhx notes
  ☆17Updated last year