Back to Results
First PageMeta Content



SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation Implementations Sze Yiu Chau∗ Omar Chowdhury† Endadul Hoque∗ Huangyi Ge∗ Aniket Kate∗ Cristina Nita-Rotaru‡ Ni
Add to Reading List

Document Date: 2017-04-03 16:02:16


Open Document

File Size: 427,26 KB

Share Result on Facebook
UPDATE