SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation
▶SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation — a 2017 IEEE Security & Privacy 2017 (May 22 - 24 2017) security conference talk on crypto, vuln-research (20:35 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube