Projects

Tools from my research.

BASICS

Model checking tool that verifies LTL properties over the stack memory of binary programs to detect and mitigate buffer overflows.

Published in Computers & Security 2026. Written in Python.

code paper