Find me on , , , and .

Writing Topics binary analysis bios firmware hardware haskell low level malware platform prolog reversing smt solvers talks Most recent
Projects