semistrict / duneLinks
Clone of Dune http://dune.scs.stanford.edu/
☆20Updated 11 years ago
Alternatives and similar repositories for dune
Users that are interested in dune are comparing it to the libraries listed below
Sorting:
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- ☆55Updated 2 years ago
- ☆70Updated 5 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- deprecated☆46Updated 6 years ago
- Fast static binary instrumentation for linux/x86☆82Updated 8 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆60Updated this week
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆54Updated 3 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆105Updated 6 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 7 years ago
- ☆35Updated 7 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- Data race detector for Linux kernel modules☆30Updated 7 years ago
- A hypervisor written in Rust.☆120Updated 3 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- Multi-variant execution (MVX) using hardware-assisted process virtualization (with Dune)☆18Updated 8 years ago
- ☆19Updated 3 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Test suite for the Linux perf_event subsystem☆116Updated this week
- minivm based on kvm☆150Updated 11 months ago
- Hodor-PKU☆24Updated 3 years ago
- A hypervisor written in rust☆55Updated 2 years ago
- ☆27Updated last month
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆98Updated 2 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆167Updated 6 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆35Updated 4 years ago