Towards Automatically Generating Double-Free Vulnerability Signatures Using Petri Nets. - Ryan Iwahashi; Daniela Alvim Seabra de Oliveira; Shyhtsun Felix Wu; Jedidiah R. Crandall; Young-Jun Heo; Jintae Oh; Jong-Soo Jang (ISC, 2008)