Sec.Today
(beta)
Pulses
Apps
Humans
Events
About
Sign in
Humans
Université de Lorraine
Star
0
Share
Talks
Month
Quarter
Year
#N/A
#N/A
#N/A
Title
Event
Voting: you can’t have privacy without verifiability
ACM CCS 2018
Machine-Checked Proofs of Privacy for Electronic Voting Protocols
38th IEEE Symposium on Security and Privacy