Security Verification Techniques Applied to PatchLink COTS Software | IEEE Conference Publication | IEEE Xplore