Sec.Today
(beta)
Pulses
Apps
Humans
Events
About
Sign in
Humans
LORIA
Star
0
Share
Talks
Month
Quarter
Year
#N/A
#N/A
#N/A
Title
Event
Machine-Checked Proofs of Privacy for Electronic Voting Protocols
38th IEEE Symposium on Security and Privacy
Large-scale malware experiments, why, how, and so what?
VB2010 Vancouver