Making Security Verification “SECURE”