Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting
Security researchers examine technical aspects of Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·16 min
Security researchers examine technical aspects of Machine-Checked Proofs of Privacy for Electronic Voting Protocols.
protocolsmachine-checkedproof+3
Ekoparty Security Conference·1 hr 6 min
Evaluates panel on electronic voting - ekoparty #11 (2015) and evaluates key implications for security practitioners.
panelelectronicvoting
IEEE Symposium on Security and Privacy·17 min
Industry experts analyze emerging threats surrounding Multi-Server Verifiable Computation of Low-Degree Polynomials.
multi-serververifiablecomputation+3