Protocol state fuzzing of TLS implementations
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations