First Page | Document Content | |
---|---|---|
Date: 2017-04-03 16:02:16 | 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‡ NiAdd to Reading ListSource URL: www.ieee-security.orgDownload Document from Source WebsiteFile Size: 427,26 KBShare Document on Facebook |