Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications | IEEE Conference Publication | IEEE Xplore