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

Published in: IEEE Symposium on Security and Privacy (2017)

Keyphrases