Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes

Name: Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes
Uploaded: 2021-01-01
Duration: 1 h 9 min 38 s
Description: Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes — a 2021 #rC3 2021 FeM security conference talk on crypto (1:09:38 min). Watch the full video, indexed free on the Breach Arc Archive.

#rC3 2021 FeM · 2021 · 1:09:38

▶

Formally Verified and Publicly Verifiable E-counting For Complex Voting Schemes — a 2021 #rC3 2021 FeM security conference talk on crypto (1:09:38 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive