About

Hi there! My name is Adrian Herrera, and I am a security researcher interested in applying program analysis techniques to reverse engineering problems. This blog is mainly about those things.

I work on the S2E symbolic execution engine. I am also a PhD student at the Australian National University under the supervision of Tony Hosking (ANU) and Mathias Payer (EPFL).

When I’m not breaking software I like to run and take photos of things (generally not at the same time).