SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementions

ASE 2020, 2020.

Cited by: 0|Bibtex|Views6|Links

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments