Highlights
- Pro
Stars
Linux patches and configuration to run on PS5
A bidirectional bindings generator for C++ and Rust.
Automatic Exploit Generation with LLMs
Low-Level Software Security for Compiler Developers
An ergonomic and safe syscall interception framework for Linux.
Fast plugin-based fuzzer compatible with Intel x86 and x86_64
An ebook about bare-metal programming for ARM
Examples for: Learning KVM - implement your own kernel
Advanced Operating System Course at ETHZ
Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
Demo showing Claude Opus does not find CVE-2023-0266
SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you to do a lot of cool things with Syzbot bugs
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
A local-first personal finance app
🕵️♂️ Collect a dossier on a person by username from 6K websites
A collection of my Semgrep rules to facilitate vulnerability research.
Quickly debug shellcode extracted during malware analysis
FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.
Code Coverage Exploration Plugin for Ghidra
Domain-specific infrastructure for analyzing, generating, and manipulating syntactically correct but semantically spec-non-compliant video files.