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
machine-checked
2 talks tagged with this topic.
Filters+
Loading filters…
1–2 of 2 talks · loading…
IEEE Symposium on Security and Privacy·14 min
Presenters detail vulnerability discovery and exploitation in WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
browser-securitywebspecmachine-checked+2