default search action
Providing Sound Foundations for Cryptography, 2019
- Oded Goldreich:
Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali. ACM 2019, ISBN 978-1-4503-7266-4 - Oded Goldreich:
Preface. - A story behind every problem: a brief biography of Shafi Goldwasser. 1-24
- One obsession at a time: a brief biography of Silvio Micali. 25-52
- An interview with Shafi Goldwasser. 53-99
- An interview with Silvio Micali. 101-138
- The cryptographic lens: Shafi Goldwasser's Turing lecture. 139-156
- Proofs, according to Silvio: Silvio Micali's Turing lecture. 157-171
- Shafi Goldwasser, Silvio Micali:
Probabilistic encryption & how to play mental poker keeping secret all partial information. 173-201 - Shafi Goldwasser, Silvio Micali, Charles Rackoff:
The knowledge complexity of interactive proof-systems. 203-225 - Manuel Blum, Silvio Micali:
How to generate cryptographically strong sequences of pseudo random bits. 227-240 - Oded Goldreich, Shafi Goldwasser, Silvio Micali:
How to construct random functions. 241-264 - Shafi Goldwasser, Silvio Micali, Ronald L. Rivest:
A "paradoxical" solution to the signature problem. 265-284 - Oded Goldreich, Silvio Micali, Avi Wigderson:
Proofs that yield nothing but their validity and a methodology of cryptographic protocol design. 285-306 - Oded Goldreich, Silvio Micali, Avi Wigderson:
How to play any mental game, or a completeness theorem for protocols with honest majority. 307-328 - Manuel Blum, Paul Feldman, Silvio Micali:
Non-interactive zero-knowledge and its applications. 329-349 - Michael Ben-Or, Shafi Goldwasser, Avi Wigderson:
Completeness theorems for non-cryptographic fault-tolerant distributed computation. 351-371 - Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson:
Multi-prover interactive proofs: how to remove intractability assumptions. 373-410 - Oded Goldreich:
On the foundations of cryptography. 411-496 - Oded Goldreich:
On the impact of cryptography on complexity theory. 497-526 - Oded Goldreich:
On some noncryptographic works of Goldwasser and Micali. 527-542 - Zvika Brakerski:
Fundamentals of fully homomorphic encryption. 543-563 - Daniele Micciancio:
Interactive proofs for lattice problems. 565-597 - Johan Håstad:
Following a tangent of proofs. 599-622 - Rafael Pass:
A tutorial on concurrent zero-knowledge. 623-648 - Guy N. Rothblum:
Doubly efficient interactive proofs. 649-691 - Salil P. Vadhan:
Computational entropy. 693-726 - Yael Tauman Kalai, Leonid Reyzin:
A survey of leakage-resilient cryptography. 727-794 - Editor and author biographies. 795-800
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.