Frankencert: a tool for automated adversarial testing of certificate validation in SSL/TLS implementations