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
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆25Updated last year
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆14Updated 2 years ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• sslab-gatech / libmpk
  ☆51Updated 4 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• TwinVisor / twinvisor-prototype
  ☆22Updated 3 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated 2 years ago
• OSUSecLab / vSGX
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
  ☆57Updated 2 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆20Updated 4 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• ahoi-attacks / heckler
  Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
  ☆34Updated last year
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• PLSysSec / swivel
  ☆17Updated 2 years ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆18Updated 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
• intel / qemu-sgx
  ☆71Updated 2 years ago
• utds3lab / sgx-nbench
  The nbench benchmark ported to SGX.
  ☆14Updated 6 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago
• adilahmad17 / Veil
  ☆10Updated last year
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• AMDESE / linux
  Linux kernel source tree
  ☆31Updated this week
• libtea / frameworks
  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
  ☆62Updated 3 years ago
• Compass-All / CCS22-StrongBox
  ☆34Updated 3 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 6 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆39Updated 5 years ago
• intel-staging / td-partitioning-svsm
  ☆14Updated last month
• Penglai-Enclave / Penglai-Enclave
  This is the main repo for Penglai.
  ☆72Updated 2 years ago