mit-pdos / ward
☆30Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ward
- Memory access tracing QEMU☆94Updated 7 years ago
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆94Updated 6 months ago
- Lists of must-read papers (mainly security papers)☆25Updated 2 months ago
- rmem public repo☆40Updated 3 months ago
- Nautilus Aerokernel☆44Updated 2 years ago
- ☆60Updated 4 months ago
- Performance Counter Measurements at the cycle granularity☆18Updated 3 years ago
- ☆13Updated 6 years ago
- Verification of BPF JIT compilers☆54Updated last year
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- ☆31Updated 6 years ago
- Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis☆19Updated 4 years ago
- ☆46Updated 2 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆38Updated 6 months ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- User-space Page Management☆104Updated 3 months ago
- QEMU with support for CHERI☆54Updated 2 weeks ago
- ☆35Updated 2 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆29Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- ☆16Updated 5 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- ☆19Updated 2 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- ☆34Updated 4 months ago
- Virtualisation platform using CHERI for isolation and sharing☆35Updated 5 months ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆110Updated 5 years ago
- Hodor-PKU☆23Updated 3 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated 2 months ago