Less Is More: Refinement Proofs for Probabilistic Proofs

Name: Less Is More: Refinement Proofs for Probabilistic Proofs
Uploaded: 2023-01-01
Duration: 13 min 44 s
Description: Less Is More: Refinement Proofs for Probabilistic Proofs — a 2023 IEEE S&P 2023 Sessions security conference talk on crypto (13:44 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P 2023 Sessions · 2023 · 13:44

▶

Less Is More: Refinement Proofs for Probabilistic Proofs — a 2023 IEEE S&P 2023 Sessions security conference talk on crypto (13:44 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive