IPADS-DuVisor / DuVisor
☆70Updated last year
Alternatives and similar repositories for DuVisor:
Users that are interested in DuVisor are comparing it to the libraries listed below
- ☆21Updated 2 years ago
- 项目的主仓库☆23Updated 2 years ago
- ☆22Updated last year
- Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.☆134Updated 4 months ago
- ☆51Updated 9 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 5 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆23Updated 5 months ago
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆54Updated last year
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆26Updated last year
- Writing a hypervisor in Rust☆11Updated last year
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆20Updated 2 years ago
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆37Updated last year
- ☆10Updated 3 years ago
- https://rs3lab.github.io/SynCord/☆22Updated 2 years ago
- ☆31Updated 2 years ago
- ☆33Updated last year
- Virtualisation platform using CHERI for isolation and sharing☆35Updated 8 months ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 3 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆20Updated last year
- ☆16Updated 2 years ago
- Getting Started with the Core Slicing Prototype☆11Updated last year
- Transparent zero-copy IO☆18Updated 10 months ago
- ☆113Updated 3 weeks ago
- Artifact evaluation repo for EuroSys'24.☆25Updated last year
- Trusted I/O Paths for SGX Enclaves☆16Updated 4 years ago
- ☆49Updated 3 years ago
- Implementation of the Reusable Enclaves paper☆12Updated last year
- A Progam-Behavior-Guided Far Memory System☆34Updated last year
- ☆44Updated 4 months ago
- The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing☆22Updated 2 years ago