Automatic Patch-Based Exploit Generation is Possible: Techniques and Implementations

A paper by David Brumley, Pongsin Poosankam, Dawn Song (TRUST) and Jiang Zheng, "Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications" is getting quite a bit of press:

• Slashdot
  
• Bruce Schneier's Cryptogram
  
• PC World
  
• The Register