A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols

Name: A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Uploaded: 2022-01-01
Duration: 18 min 4 s
Description: A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols — a 2022 IEEE S&P 2022 Sessions security conference talk on crypto (18:04 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P 2022 Sessions · 2022 · 18:04

▶

A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols — a 2022 IEEE S&P 2022 Sessions security conference talk on crypto (18:04 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive