


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














