TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)

XBOW Validation Benchmarks

OpenSGX

A "potpourri" of Decentralized Finance resources

A curated list of Smart Contract Security materials and resources For Researchers

A collection of links related to VMware escape exploits

PoC for CVE-2021-3156 (sudo heap overflow)

A tool for comparing cellular layer 3 protocol messages between the specification documents and baseband implementations

Linux kernel source tree

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

source code for savior fuzzer

american fuzzy lop - a security-oriented fuzzer

A collection of links related to Linux kernel security and exploitation

An updated collection of resources targeting browser-exploitation.

HeapHopper is a bounded model checking framework for Heap-implementations

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

GlibC Malloc for Exploiters presentation

DOM fuzzer

iOS 11.1.2 (15B202) Jailbreak

Collection of CTF Web challenges I made

Provide powerful tools for seccomp analysis

The best tool for finding one gadget RCE in libc.so.6

Inferred Model-based Fuzzer

My proof-of-concept exploits for the Linux kernel

Porting Windows Dynamic Link Libraries to Linux

IDA cLEMENCy Tools