nccgroup / rustproofing-linux
☆23Updated 2 years ago
Alternatives and similar repositories for rustproofing-linux:
Users that are interested in rustproofing-linux are comparing it to the libraries listed below
- Uncovering Container Confusion in the Linux Kernel☆43Updated last year
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆51Updated this week
- A system call interception tool☆55Updated 4 months ago
- Linux kernel branches for confidential compute research☆17Updated last week
- iTLB multihit PoC☆40Updated last year
- Easy way to run a LLVM instrumented kernel in qemu with gdb☆22Updated 11 months ago
- ☆86Updated 9 months ago
- Demonstrate ability to read memfd_secret() data from the kernel☆58Updated last year
- io_uring based network scanner written in Rust☆44Updated 2 years ago
- Spectre based on Linear Address Masking☆68Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 2 months ago
- Explore a live Linux kernel's memory using GDB☆114Updated 2 years ago
- ☆82Updated 2 weeks ago
- Deprecated! Use qemu-rs instead :)☆73Updated last year
- ☆12Updated 3 years ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆61Updated 8 months ago
- Collection of images and examples to use with Shoggoth.☆19Updated 4 years ago
- Lab Mouse Security research pertaining to RISC-V☆11Updated 7 years ago
- Source code & scripts for experimental characterization and real-system demonstration of RowPress, a widespread read disturbance phenomen…☆32Updated last year
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆19Updated 5 years ago
- Harness for the Linux kernel eBPF verifier☆32Updated 2 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Fuzz Rust code with LibAFL☆58Updated last year
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated 3 weeks ago
- VMF is a modular fuzzer that is easily reconfigurable to use many different capabilities and approaches. Also includes a web-based distri…☆29Updated 6 months ago
- Virtual machine introspection library based on libvmi - parts of this work have been funded by Deutsche Forschungsgemeinschaft (DFG) – pr…☆29Updated 3 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 11 months ago
- kAFL Fuzzer☆33Updated 3 weeks ago
- A hacky tool for analysing linux kernel commits☆36Updated 2 years ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆20Updated last year