Publication Overview

Sze Yiu Chau and Omar Chowdhury and Md. Endadul Hoque and Huangyi Ge and Aniket Kate and Cristina Nita-Rotaru and Ninghui Li

SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations

Published in: 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017
Year: 2017
Volume: 2017
Pages: 503-520