IEEE Symposium on Security and Privacy·15 min
Security researchers examine technical aspects of Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
formallyverifyingverifiable+3
2 talks tagged with this topic.
Loading filters…
1–2 of 2 talks · loading…
IEEE Symposium on Security and Privacy·15 min
Security researchers examine technical aspects of Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
Strange Loop Conference·38 min
Industry experts analyze emerging threats surrounding "How to run Neural Nets on GPUs' by Melanie Warrick.