ChainReactor is a research project that leverages AI planning to discover exploitation chains for privilege escalation on Unix systems. The project models the problem as a sequence of actions to ac…

find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)

A symbolic execution engine for EVM smart contract binaries.

Forward CFI for C-Style Indirect Function Calls Using Type Propagation

Fuzzer for Amplification Vulnerabilities (USENIX '22, Krupp et al)

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

A little Python script to collect LaTeX sources for upload to the arXiv.

OpenSource internet jam sessions, aka Networked Music Performance software.

A powerful and user-friendly binary analysis platform!

An open-ended investment fund implementation on the Ethereum blockchain for managing ERC20 tokens