Guided differential testing of certificate validation in SSL/TLS implementations

By Yuting Chen, Zhendong Su. 2015

98 citations recorded by the source corpus.

Subfields: Software, Signal Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Software

1. Suman Sekhar Jana
2. Kexin Pei
3. Angelos Dennis Keromytis
4. Junfeng Yang
5. Ting Su
6. Yinzhi Cao
7. Yang Liu
8. Yuting Chen

In Signal Processing

1. Suman Sekhar Jana
2. Kexin Pei
3. Junfeng Yang
4. Angelos Dennis Keromytis
5. Yang Liu
6. Yinzhi Cao
7. Ting Su
8. Yuting Chen

Citations in the corpus

• DeepXplore: Automated Whitebox Testing of Deep Learning Systems (2017, methodology): “Such differential testing techniques have been applied successfully in the past for detecting logic bugs without manual specifications in a wide variety of traditional software [6, 11, 14, 15, 45, 86].”
• Coverage-directed differential testing of JVM implementations (2016, methodology): “Fuzz testing has also been employed to find issues re-lated to system calls [14, 40], security protocols [11, 36], language compilers [22] and interpreters [19, 32].”
• Guided, stochastic model-based GUI testing of Android apps (2017, methodology): “Markov Chain Monte Carlo (MCMC) sampling techniques have been used for several software testing problems [13, 37, 68–70].”
• NEZHA: Efficient Domain-Independent Differential Testing (2017, methodology): “For instance, Frankencerts [24] and Mucerts [32] incorporate partial grammars for X.”