Adrian Herrera


Security Researcher

Hi there! đź‘‹

My name is Adrian. I’m a security researcher interested in applying program analysis techniques to reverse engineering and software security problems. I also have an interest in programming languages theory and formal methods, which often shapes the way I think about problems. I occasionally write about these topics in my (infrequently updated) blog.

In my day job I’m a Principal Vulnerability Researcher and Head of Capabilities at Interrupt Labs. I also teach Software Security at the Australian National University (ANU)—the same place where I completed my PhD, supervised by Tony Hosking (ANU), Mathias Payer (EPFL), and Michael Norrish (ANU).

In a previous life I conducted software security research at the Defence Science and Technology Group and hacked on the S2E symbolic execution engine at the Dependable Systems Lab. I regularly contribute to open-source software (unsurprisingly focused on program analysis and software security) and speak at both “hacker” and academic conferences in Australia. You can find my CV here.

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