Automated Testing of Certificate Validation in SSL/TLS Implementationscs.utexas.edu1 pointrandomwalker12 years ago