Description
Book SynopsisThe design of cryptographic systems must be based on firm foundations, whereas ad hoc approaches and heuristics are a very dangerous way to go. These foundations were developed in works -authored by Shafi Goldwasser and/or Silvio Micali. This book celebrates these works, and reproduces some of them.
Table of Contents
- Preface
- Acknowledgments
- Photo and Text Credits
- PART I BIOGRAPHIES, INTERVIEWS, AND AWARD LECTURES
- A Story Behind Every Problem: A Brief Biography of Shafi Goldwasser
- One Obsession at a Time: A Brief Biography of Silvio Micali
- An Interview with Shafi Goldwasser
- An Interview with Silvio Micali
- The Cryptographic Lens: Shafi Goldwasser's Turing Lecture
- Proofs, According to Silvio: Silvio Micali's Turing Lecture
- PART II ORIGINAL PAPERS
- Probabilistic Encryption
- The Knowledge Complexity of Interactive Proof Systems
- How to Generate Cryptographically Strong Sequences of Pseudorandom Bits
- How to Construct Random Functions
- A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
- Proofs that Yield Nothing but Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems
- How to Play Any Mental Game: A Completeness Theorem for Protocols with Honest Majority
- Non-Interactive Zero-Knowledge (NIZK) Proof Systems
- Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation
- Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions
- PART III PERSPECTIVES
- On the Foundations of Cryptography
- On the Impact of Cryptography on Complexity Theory
- On Some Noncryptographic Works of Goldwasser and Micali
- Fundamentals of Fully Homomorphic Encryption
- Interactive Proofs for Lattice Problems
- Following a Tangent of Proofs
- A Tutorial on Concurrent Zero-Knowledge
- Doubly Efficient Interactive Proofs
- Computational Entropy
- A Survey of Leakage-Resilient Cryptography
- Editor and Author Biographies
