Probabilistic Termination and Composability of Cryptographic Protocols
▶Probabilistic Termination and Composability of Cryptographic Protocols — a 2016 Crypto 2016 security conference talk on crypto (25:25 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube