privbox / devenvLinks
☆17Updated 3 years ago
Alternatives and similar repositories for devenv
Users that are interested in devenv are comparing it to the libraries listed below
Sorting:
- Trusted I/O Paths for SGX Enclaves☆18Updated 5 years ago
- ☆51Updated 4 years ago
- Compartmentalised monolithic library OS☆19Updated 4 years ago
- ☆20Updated 3 years ago
- Implementation of the Reusable Enclaves paper☆14Updated 2 years ago
- ☆72Updated 2 years ago
- ☆10Updated last year
- ☆23Updated 3 years ago
- 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 months ago
- ☆12Updated 3 years ago
- ☆14Updated this week
- Hodor-PKU☆26Updated 4 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆56Updated 2 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆25Updated last year
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆26Updated last year
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 4 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- ☆39Updated 3 months ago
- A superoptimizing compiler for packet-processing☆30Updated 2 years ago
- ☆17Updated 2 years ago
- Source code of KVM☆18Updated 3 years ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆22Updated 6 years ago
- This is the main repo for Penglai.☆72Updated 2 years ago
- ☆34Updated 3 years ago
- caijiqhx notes☆17Updated last year
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆34Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 6 years ago
- The nbench benchmark ported to SGX.☆14Updated 6 years ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆34Updated last year
- Commodity Obfuscation Engine for Intel SGX☆20Updated 6 years ago