Machine-Checked Proofs of Privacy for Electronic Voting Protocols

Name: Machine-Checked Proofs of Privacy for Electronic Voting Protocols
Uploaded: 2017-01-01
Duration: 16 min 13 s
Description: Machine-Checked Proofs of Privacy for Electronic Voting Protocols — a 2017 IEEE Security & Privacy 2017 (May 22 - 24 2017) security conference talk on privacy (16:13 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2017 (May 22 - 24 2017) · 2017 · 16:13

▶

Machine-Checked Proofs of Privacy for Electronic Voting Protocols — a 2017 IEEE Security & Privacy 2017 (May 22 - 24 2017) security conference talk on privacy (16:13 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

privacy

← Back to the Breach Arc Archive