Truly Verifiable Elections
Cryptography and Voting
Helios - Real-World Open-Audit Voting
Presenter: Cheng Li. MPC Secure Multiparty Computation Protocol: Group of mutually distrusting parties to compute a joint function f on their private.
CMSC 414 Computer and Network Security Lecture 12 Jonathan Katz.
CMSC 414 Computer and Network Security Lecture 6 Jonathan Katz.
Lecturer: Moni Naor Foundations of Cryptography Lecture 5: Signatures and pseudo-random generators.
June 2005 A Plausible Approach to Computer-aided Cryptographic Proofs Shai Halevi.
Cryptanalysis on Du-Wen Certificateless Short Signature Scheme
Cross-Realm Password-Based Server Aided Key Exchange
1 Provable Security Sebastian Faust Ruhr-Universität Bochum, Germany.
1 Confidential Authentication Session Hannes Tschofenig.
