SADT: Syntax-aware differential testing of certificate validation in SSL/TLS Implementations

SADT: Syntax-aware differential testing of certificate validation in SSL/TLS Implementations

The security assurance of SSL/TLS critically depends on the correct validation of X.509 certificates. Therefore, it is important to check whether a certificate is correctly validated by the SSL/TLS implementations. Although differential testing has been proven to be effective in finding semantic bug...

Full description

Saved in:
Bibliographic Details
Main Authors: QUAN, Lili, GUO, Qianyu, CHEN, Hongxu, XIE, Xiaofei, LI, Xiaohong, LIU, Yang, HU, Jing
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2020
Subjects:
Differential testing
Certificate validation
SSL/TLS Implementation
OS and Networks
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/7114
https://ink.library.smu.edu.sg/context/sis_research/article/8117/viewcontent/3324884.3416552.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/7114
https://ink.library.smu.edu.sg/context/sis_research/article/8117/viewcontent/3324884.3416552.pdf

Similar Items