Ryan Iwahashi, Daniela A. S. de Oliveira, Shyhtsun Felix Wu, Jedidiah R. Crandall, Young-Jun Heo, Jin-Tae Oh, Jong-Soo Jang. Towards Automatically Generating Double-Free Vulnerability Signatures Using Petri Nets. In Tzong-Chen Wu, Chin-Laung Lei, Vincent Rijmen, Der-Tsai Lee, editors, Information Security, 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings. Volume 5222 of Lecture Notes in Computer Science, pages 114-130, Springer, 2008. [doi]
Abstract is missing.