Guided differential testing of certificate validation in SSL/TLS implementations

  title={Guided differential testing of certificate validation in SSL/TLS implementations},
  author={Yuting Chen and Zhendong Su},
  booktitle={ESEC/SIGSOFT FSE},
Certificate validation in SSL/TLS implementations is critical for Internet security. There is recent strong effort, namely frankencert, in automatically synthesizing certificates for stress-testing certificate validation. Despite its early promise, it remains a significant challenge to generate effective test certificates as they are structurally complex with intricate syntactic and semantic constraints. This paper tackles this challenge by introducing mucert, a novel, guided technique to much… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 16 extracted citations

RFC-Directed Differential Testing of Certificate Validation in SSL/TLS Implementations

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018
View 10 Excerpts
Highly Influenced

NEZHA: Efficient Domain-Independent Differential Testing

2017 IEEE Symposium on Security and Privacy (SP) • 2017
View 7 Excerpts
Highly Influenced

DRLgencert: Deep Learning-Based Automated Testing of Certificate Verification in SSL/TLS Implementations

2018 IEEE International Conference on Software Maintenance and Evolution (ICSME) • 2018
View 4 Excerpts
Highly Influenced

Coveringcerts: Combinatorial Methods for X.509 Certificate Testing

2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) • 2017
View 2 Excerpts


Publications referenced by this paper.

Similar Papers

Loading similar papers…