<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-05-18 10:50:53Verifiable secret sharing Interactive proof system Claude Crépeau Gödel Prize Pseudorandom function family Zero-knowledge proof Provable security Oblivious transfer Non-interactive zero-knowledge proof Cryptography Cryptographic protocols Silvio Micali |
| Scalable Anonymous Communication with Provable Security Prateek Mittal, Nikita Borisov∗ Dept. of Electrical and Computer Engineering, U. of Illinois at Urbana-Champaign, Carmela Troncoso, Alfredo Rial†DocID: 1vhNd - View Document |
| Provable post-quantum security Renato Renner Institute for Theoretical PhysicsDocID: 1tPu6 - View Document |
| A Provable-Security Treatment of the Key-Wrap Problem Phillip Rogaway1 and Thomas Shrimpton2 1 2DocID: 1ttqA - View Document |
| How Secure and Quick is QUIC? Provable Security and Performance Analyses Robert Lychev MIT Lincoln LaboratoryDocID: 1sE8L - View Document |
| Practice-Oriented Provable Security and the Social Construction of Cryptography Phillip Rogaway∗ May 22, 2009† AbstractDocID: 1rCW0 - View Document |