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
  ☆16Updated 5 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 4 years ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆14Updated last year
• TwinVisor / twinvisor-prototype
  ☆23Updated 3 years ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• hedayati / hodor
  Hodor-PKU
  ☆25Updated 3 years ago
• adilahmad17 / Veil
  ☆10Updated last year
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• AMDESE / linux
  Linux kernel source tree
  ☆28Updated 2 months ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆24Updated last year
• 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
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• caijiqhx / Notes
  caijiqhx notes
  ☆17Updated 9 months ago
• intel-staging / qemu-tdx
  ☆39Updated this week
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆37Updated 8 months ago
• OSUSecLab / vSGX
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
  ☆55Updated last year
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 5 years ago
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆18Updated 3 weeks ago
• Compass-All / CCS22-StrongBox
  ☆32Updated 2 years ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated last year
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆39Updated last year
• 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 last year
• PLSysSec / swivel
  ☆17Updated last year
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 6 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago
• rssys / shard
  ☆13Updated 3 years ago