IEEE Security and Privacy, S&P 2017


Article Details
Title: SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations
Article URLs:
Alternative Article URLs:
Authors: Sze Yiu Chau
  • Purdue University
Omar Chowdhury
  • University of Iowa
Md. Endadul Hoque
  • Purdue University
Huangyi Ge
  • Purdue University
Aniket Kate
  • Purdue University
Cristina Nita-Rotaru
  • Northeastern University
Ninghui Li
  • Purdue University
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1657124, 1314688, 1421815
DBLP Key: conf/sp/ChauCHGKNL17
Author Comments:

Discuss this paper and its artifacts below