[IEEE 2017 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2017.5.22-2017.5.26)] 2017 IEEE Symposium on Security and Privacy (SP) - SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations
Chau, Sze Yiu, Chowdhury, Omar, Hoque, Endadul, Ge, Huangyi, Kate, Aniket, Nita-Rotaru, Cristina, Li, NinghuiYear:
2017
Language:
english
DOI:
10.1109/SP.2017.40
File:
PDF, 724 KB
english, 2017