semistrict / dune
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
- Secure Virtual Architecture☆42Updated 6 years ago
- deprecated☆46Updated 6 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆55Updated 2 years ago
- ☆35Updated 7 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆60Updated last month
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆52Updated 2 years ago
- Memory access tracing QEMU☆96Updated 8 years ago
- Intel Kernel Guard Technology Core Repo☆55Updated last year
- Open-source release for MemSentry (EuroSys'17)☆46Updated 3 years ago
- ☆29Updated 9 years ago
- The Bear Operating System☆25Updated 7 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆66Updated last year
- ☆90Updated last year
- memTrace, a framework for lightweight memory tracing☆57Updated 5 years ago
- ☆70Updated 4 years ago
- MCFI/PICFI tool chain☆42Updated last year
- Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)☆95Updated 2 years ago
- minivm based on kvm☆149Updated 10 months ago
- Fast static binary instrumentation for linux/x86☆82Updated 8 years ago
- A hypervisor written in Rust.☆118Updated 3 years ago
- Fork of KVM with Virtual Machine Introspection patches☆36Updated last year
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Updated 7 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- Some codes to trace KVM events using BPF☆19Updated 5 years ago
- Notes on various topics I'm interested in☆158Updated 9 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- Experimental setup of "Intel MPX explained"☆26Updated 5 years ago