Addison Crump

Vulnerability researcher and student. Primary interests are fuzzing, static analysis, formal verification, and education in each.