A one day workshop on using SMT-Solvers and bounded model checker for reverse engineering and binary analysis.

A human friendly pwgen based on XKCD 936

A ruby programmable debugger library based on the linux ptrace API and /proc/$pid/ interfaces.

Robust semantic hashes for arbitrary x86 functions. Identify functions in very large database, even when compiled with different options.

Use a SMT solver to invert the arrow of time in Game Of Life.

Use LUA scripting for dynamic binary instrumentation and analysis using PIN.

A web based debugger front-end for debugging and reversing binaries. Easily allows to create complex widgets and scripts.

A compiler, interpreter and JITer for brainfuck. Build in literate ruby.