Prism: A High-Fidelity Binary Taint Engine & Symbolic Execution Pipeline
Designing a custom C++26 binary analysis engine from scratch: Capstone lifting, custom SSA IR, Z3 constraint solving, and sandboxed crash validation...
An archive of previous security research, tools, and technical explorations.
Designing a custom C++26 binary analysis engine from scratch: Capstone lifting, custom SSA IR, Z3 constraint solving, and sandboxed crash validation...
A look back at developing custom AFL++ mutators for targeting closed-source network listeners...
A collection of scripts and hardware setups for reliable firmware dumping from IoT devices...