foxhoundsk / FlexSC
Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
☆19Updated 4 years ago
Alternatives and similar repositories for FlexSC:
Users that are interested in FlexSC are comparing it to the libraries listed below
- Virtualisation platform using CHERI for isolation and sharing☆35Updated 9 months ago
- Compartmentalised monolithic library OS☆19Updated 3 years ago
- ☆21Updated 2 years ago
- ☆23Updated last year
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 3 years ago
- HyperBench: A Benchmark Suite for Virtualization Capabilities☆29Updated 5 years ago
- virtio example front-end and back-end☆33Updated 6 years ago
- https://rs3lab.github.io/SynCord/☆22Updated 2 years ago
- This is the main repo for Penglai.☆68Updated last year
- A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x☆21Updated 6 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- ☆19Updated 2 years ago
- ☆61Updated 8 months ago
- ☆12Updated last year
- ☆31Updated 6 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 …☆26Updated this week
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆13Updated this week
- Trusted I/O Paths for SGX Enclaves☆16Updated 4 years ago
- flexsc-osdi10☆12Updated 5 years ago
- ☆49Updated 3 years ago
- ☆70Updated last year
- ☆54Updated 10 months ago
- ☆35Updated 8 months ago
- Hodor-PKU☆23Updated 3 years ago
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆26Updated 4 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆32Updated 5 months ago
- Accel-config / libaccel-config☆64Updated 2 months ago
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆38Updated last year
- Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.☆138Updated last week