USENIX Security '23 - Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and...

Name: USENIX Security '23 - Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and...
Duration: 10 min 1 s
Description: USENIX Security '23 - Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and... — a USENIX security conference talk on crypto (10:01 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 10:01

▶

USENIX Security '23 - Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and... — a USENIX security conference talk on crypto (10:01 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive