Creating Vulnerability Signatures Using Weakest Preconditions | IEEE Conference Publication | IEEE Xplore