MirrorShard: Proof by Computational Reflection with Verified Hints - Gregory Malecha; Adam Chlipala; Thomas Braibant; Patrick Hulin; Edward Z. Yang (CoRR, 2013)

Repeatable Reverse Engineering with PANDA. - Brendan Dolan-Gavitt; Josh Hodosh; Patrick Hulin; Tim Leek; Ryan Whelan (PPREW@ACSAC, 2015)

LAVA: Large-Scale Automated Vulnerability Addition. - Brendan Dolan-Gavitt; Patrick Hulin; Engin Kirda; Tim Leek; Andrea Mambretti; William K. Robertson; Frederick Ulrich; Ryan Whelan (IEEE Symposium on Security and Privacy, 2016)

AutoCTF: Creating Diverse Pwnables via Automated Bug Injection. - Patrick Hulin; Andy Davis; Rahul Sridhar; Andrew Fasano; Cody Gallagher; Aaron Sedlacek; Tim Leek; Brendan Dolan-Gavitt (WOOT, 2017)