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
- The public release of LeftoverLocals code☆66Updated last year
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆52Updated 3 weeks ago
- A collection of bypasses and exploits for eBPF-based cloud security.☆22Updated last year
- A system call interception tool☆56Updated 4 months ago
- Demonstrate ability to read memfd_secret() data from the kernel☆58Updated last year
- Easy way to run a LLVM instrumented kernel in qemu with gdb☆22Updated last year
- iTLB multihit PoC☆40Updated last year
- Proof-of-concept for the GhostWrite CPU bug.☆110Updated 8 months ago
- Linux kernel branches for confidential compute research☆17Updated last month
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- Source code & scripts for experimental characterization and real-system demonstration of RowPress, a widespread read disturbance phenomen…☆32Updated last year
- Spectre based on Linear Address Masking☆68Updated last year
- ☆83Updated last month
- ☆87Updated 10 months ago
- ☆73Updated last year
- Files used for reproducing Fuzzware's experiments☆57Updated 2 years ago
- Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)☆15Updated last year
- ☆16Updated 8 months ago
- Training in Transient Execution and PhantomCALL, from Inception (SEC'23) Artifacts.☆35Updated last year
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last week
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆152Updated last year
- Harness for the Linux kernel eBPF verifier☆32Updated 2 years ago
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated last month
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆45Updated 2 years ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆21Updated last year
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago
- Explore a live Linux kernel's memory using GDB☆114Updated 2 years ago