Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting

Name: Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting
Uploaded: 2021-01-01
Duration: 14 min 57 s
Description: Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting — a 2021 IEEE Security & Privacy 2021 security conference talk on crypto, privacy (14:57 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2021 · 2021 · 14:57

▶

Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting — a 2021 IEEE Security & Privacy 2021 security conference talk on crypto, privacy (14:57 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto privacy

← Back to the Breach Arc Archive