Facebook Product Security Engineer and former NASA Engineer. Interested in Static Analysis, Security, Compilers, CTF.
- Mountain View, California
Block or Report
Block or report arthaud
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
NASA-SW-VnV/ikos
NASA-SW-VnV/ikos PublicStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
-
python3-pwntools
python3-pwntools Public archiveForked from Gallopsled/pwntools
CTF framework and exploit development library in python3 (pwntools and binjitsu fork)
-
-
-
mcarton/CRAPS-Kernel
mcarton/CRAPS-Kernel PublicA simple operating system, processor and compiler for Nexys2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.