hku-systems / ploverLinks
☆9Updated 5 years ago
Alternatives and similar repositories for plover
Users that are interested in plover are comparing it to the libraries listed below
Sorting:
- Hodor-PKU☆25Updated 3 years ago
- ☆30Updated 3 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆9Updated 5 years ago
- Compartmentalised monolithic library OS☆19Updated 3 years ago
- ☆49Updated 3 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 3 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆31Updated 5 years ago
- ☆31Updated 7 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆33Updated 3 years ago
- Transparent Paxos☆44Updated 6 years ago
- ☆20Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated 2 years ago
- Course web page generator framework☆28Updated 12 years ago
- ☆48Updated 2 years ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12Updated 9 years ago
- A superoptimizing compiler for packet-processing☆30Updated 2 years ago
- Fast packet processing using CPUs☆38Updated 8 years ago
- ☆14Updated 5 years ago
- ☆13Updated 5 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- ☆32Updated 6 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆19Updated 5 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆28Updated 4 years ago
- ☆47Updated 3 years ago
- ☆26Updated 2 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- ExitLess services for SGX enclaves☆33Updated 5 years ago