SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementions
ASE 2020, 2020.
The security guarantee of SSL/TLS critically depends on the correct validation of X.509 certificate. Therefore, it is important to check whether certificate validation in SSL/TLS is implemented correctly. Differential testing has been used successfully to find semantic bugs in this domain. However, existing differential testing tools suff...More
Full Text (Upload PDF)
PPT (Upload PPT)