lsds / intravisor
Virtualisation platform using CHERI for isolation and sharing
☆36Updated 9 months ago
Alternatives and similar repositories for intravisor:
Users that are interested in intravisor are comparing it to the libraries listed below
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 3 years ago
- ☆21Updated 2 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆22Updated last year
- ☆61Updated 8 months ago
- ☆19Updated 2 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆32Updated 6 months ago
- Microscope: Enabling Microarchitectural Replay Attacks☆19Updated 4 years ago
- ☆70Updated last year
- ☆23Updated last year
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆26Updated last year
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆13Updated last week
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆38Updated last year
- ☆49Updated 3 years ago
- A script to create bootable OS images, and run qemu with a locally built kernel.☆64Updated last week
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆27Updated 4 years ago
- https://rs3lab.github.io/SynCord/☆22Updated 2 years ago
- ☆32Updated 11 months ago
- ☆36Updated last week
- ☆35Updated 8 months ago
- Linux kernel source tree☆26Updated this week
- This is the main repo for Penglai.☆68Updated last year
- ☆55Updated 10 months ago
- Hodor-PKU☆23Updated 3 years ago
- ☆15Updated last week
- Trusted I/O Paths for SGX Enclaves☆16Updated 4 years ago
- ☆16Updated last year
- Accel-config / libaccel-config☆64Updated 2 months ago
- PARSEC 3.0 benchmark suite☆10Updated 6 years ago
- Transparent zero-copy IO☆19Updated 11 months ago
- Reference implementation of Arm-CCA RMM specification☆46Updated last week