IEEE Symposium on Security and Privacy·21 min
Presenters detail vulnerability discovery and exploitation in SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation.
symbolic-executionsymcertpractical+3
1 talk tagged with this topic.
Loading filters…
1–1 of 1 talk · loading…
IEEE Symposium on Security and Privacy·21 min
Presenters detail vulnerability discovery and exploitation in SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation.