NDSS 2019 Analyzing Semantic Correctness: A Case Study on PKCS#1 v1.5 Signature Verification
▶NDSS 2019 Analyzing Semantic Correctness: A Case Study on PKCS#1 v1.5 Signature Verification — a 2019 NDSS Symposium security conference talk on crypto (18:55 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube