Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

Lean Theorem Prover

This project has been moved to:

RamDrive that is backed by GPU Memory

Brand New Code Injection for Windows

Rowhammer.js - A Remote Software-Induced Fault Attack in JavaScript

Auxiliary documentation and scripts around "A Reasonably Safe Travel Burner Laptop"

High-throughput fuzzer and emulator of DECREE binaries

ATrace is a tool for tracing execution of binaries on Windows.

Ready-made packages of software for running on the Rumprun unikernel

Safely execute an arbitrary x86 instruction

Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization

Tool for reverse-engineering Apple's sandbox

A source level debugger for C programs running on ARM Cortex-M parts. Utilizes the *blackmagic* probe and the *Qt* framework

A framework for control-flow recovery in binary programs.

A Clang/LLVM frontend for Joern

Some (mostly) my CTF write-ups

Enforce TPM remote platform attestation for Linux authentication