Machine-Checked Proofs of Privacy for Electronic Voting Protocols
Security researchers examine technical aspects of Machine-Checked Proofs of Privacy for Electronic Voting Protocols.
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 No Privacy in the Electronics Repair Industry.
electronicsprivacyelectronic+2
IEEE Symposium on Security and Privacy·18 min
Analysts investigate attack surfaces and defenses concerning Ouroboros Crypsinous Privacy Preserving Proof of Stake.
ouroborocrypsinouprivacy+3
Briefings·28 min
Bela Genge · Ioan Padurean · Dan Macovei
Who needs AI when raw statistics can do the job just as well—if not better.
privacyhardwareai+2