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

Lili Quan, Qianyu Guo, Hongxu Chen, Xiaofei Xie, Xiaohong Li 0001, Yang Liu 0003, Jing Hu 0007. SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. pages 524-535, IEEE, 2020. [doi]

Authors

Lili Quan

This author has not been identified. Look up 'Lili Quan' in Google

Qianyu Guo

This author has not been identified. Look up 'Qianyu Guo' in Google

Hongxu Chen

This author has not been identified. Look up 'Hongxu Chen' in Google

Xiaofei Xie

This author has not been identified. Look up 'Xiaofei Xie' in Google

Xiaohong Li 0001

This author has not been identified. Look up 'Xiaohong Li 0001' in Google

Yang Liu 0003

This author has not been identified. Look up 'Yang Liu 0003' in Google

Jing Hu 0007

This author has not been identified. Look up 'Jing Hu 0007' in Google