Mic92 / rkt-ioLinks
rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
☆33Updated 3 years ago
Alternatives and similar repositories for rkt-io
Users that are interested in rkt-io are comparing it to the libraries listed below
Sorting:
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆28Updated 4 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆35Updated 11 months ago
- ☆23Updated 3 years ago
- ☆17Updated 3 years ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆37Updated 2 years ago
- Virtualisation platform using CHERI for isolation and sharing☆39Updated last year
- https://rs3lab.github.io/SynCord/☆24Updated 2 years ago
- Hodor-PKU☆25Updated 3 years ago
- ☆63Updated last year
- The nbench benchmark ported to SGX.☆13Updated 6 years ago
- ☆20Updated last week
- ☆28Updated 5 years ago
- VANS: A validated NVRAM simulator☆27Updated last year
- ☆58Updated last year
- Trusted I/O Paths for SGX Enclaves☆18Updated 5 years ago
- ☆72Updated last year
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆21Updated 10 months ago
- Characterizing and Modeling Non-Volatile Memory Systems [MICRO'20, TopPicks'21]☆33Updated 3 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆27Updated 5 months ago
- Transparent zero-copy IO☆22Updated last year
- A Filesystem Semi-Microkernel.☆42Updated last year
- ReDMArk: Bypassing RDMA Security Mechanisms.☆41Updated 4 years ago
- Accel-config / libaccel-config☆67Updated last month
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆14Updated last year
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆17Updated last year
- Open memory disaggregation☆25Updated 5 years ago
- ☆21Updated 4 years ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆101Updated last month
- blk-switch kernel implementation (OSDI'21)☆71Updated last year
- Yizhou' Homepage☆51Updated last month