arthaud

Facebook Product Security Engineer and former NASA Engineer. Interested in Static Analysis, Security, Compilers, CTF.

@facebookParis, France

Pinned Repositories

c2bf
Compiler from C to brainfuck
Language:OCaml217 6 712
formatstring
Format string exploitation helper
Language:Python45 4 13
git-dumper
A tool to dump a git repository from a website
Language:Python1.9k 20 25259
hg-dumper
A tool to dump a mercurial repository from a website
Language:Python5 2 03
microc
MicroC is a simple compiler in C++ from a subset of C to x86_32
Language:C++5 2 03
moc
Micro Objective-C compiler
Language:Java8 7 00
python3-pwntools
CTF framework and exploit development library in python3 (pwntools and binjitsu fork)
Language:Python282 11 741
tomb
the Crypto Undertaker
Language:Shell1.4k 57 333157
CRAPS-Kernel
A simple operating system, processor and compiler for Nexys2
Language:Java6 8 03
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++2.8k 62 234195

arthaud's Repositories

arthaud/distributed-bruteforce
A tool for distributing bruteforce.
Language:C5 2 01
arthaud/gpg-algorithms
Tools working on all GPG keys
Language:OCaml3 2 01
arthaud/GRO
Dépôt pour les cours et TP de « Graphes et Recherche Opérationnelle » en seconde année à l'ENSEEIHT.
Language:TeX2 6 02
arthaud/ada-poly
Gestion de polynômes en ADA (Projet de fin de semestre 1)
Language:Ada1 2 0
arthaud/whitenight-server
A server for the white night game.
Language:Python1 3 0
arthaud/whitenight-bot
A bot for the whitenight game.
2 0