Cover Image

Providing sound foundations for cryptography : on the work of Shafi Goldwasser and Silvio Micali /

Show other versions (1)

Cryptography is concerned with the construction of schemes that withstand any abuse. A cryptographic scheme is constructed so as to maintain a desired functionality, even under malicious attempts aimed at making it deviate from its prescribed behavior. The design of cryptographic systems must be bas...

Full description

Bibliographic Details
Other Authors: Goldreich, Oded (Editor)
Format: Book
Language:English
Published: [New York, New York] : Association for Computing Machinery, [2019]
Edition:First edition.
Series:ACM books ; #30.
Subjects:
Computer scientists > United States > Biography.
Computer scientists > Israel > Biography.
Computer scientists > Italy > Biography.
Cryptography.
Cryptography > Data processing.
Electronic data processing > Distributed processing.
Computer algorithms.
Algorithms.
Informaticiens > États-Unis > Biographies.
Informaticiens > Israël > Biographies.
Informaticiens > Italie > Biographies.
Cryptographie.
Cryptographie > Informatique.
Traitement réparti.
Algorithmes.
algorithms.
Computer scientists.
Israel.
Italy.
United States.
Electronic books.
collective biographies.
Biographies.
Table of Contents:
  • part I. Biographies, interviews, and award lectures. 1. A story behind every problem : a brief biography of Shafi Goldwasser
  • 2. One obsession at a time : a brief biography of Silvio Micali
  • 3. An interview with Shafi Goldwasser
  • 4. An interview with Silvio Micali
  • 5. The cryptographic lens : Shafi Goldwasser's Turing Lecture
  • 6. Proofs, according to Silvio : Silvio Micali's Turing Lecture
  • part II. Original papers. 7. Probabilistic encryption & how to play mental poker keeping secret all partial information / Shafi Goldwasser, Silvio Micali
  • 8. The knowledge complexity of interactive proof-systems (extended abstract) / Shafi Goldwasser, Silvio Micali, Chales Rackoff
  • 9. How to generate cryptographically strong sequences of pseudo random bits / Manuel Blum, Silvio Micali
  • 10. How to construct random functions (extended abstract) / Oded Coldreich, Shafi Goldwasser, Silvio Micali
  • 11. A "paradoxical" solution to the signature problem / Shafi Goldwasser, Silvio Micali, Ronald L. Rivest
  • 12. Proofs that yield nothing but their validity and a methodology of cryptographic protocol design (extended abstract) / Oded Goldreich, Silvio Micali, Avi Wigderson
  • 13. How to play any mental game, or a completeness theorem for protocols with honest majority (extended abstract) / Oded Goldreich, Silvio Micali, Avi Wigderson
  • 14. Non-interactive zero-knowledge and its applications (extended abstract) / Manuel Blum, Paul Feldman, Silvio Micali
  • 15. Completeness theorems for non-cryptographic fault-tolerant distributed computation (extended abstract) / Michael Ben-Or, Shafi Goldwasser, Avi Wigderson
  • 16. Multi-prover interactive proofs : how to remove intractability assumptions / Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson
  • part III. Perspectives
  • 17. On the foundations of cryptography / Oded Goldreich
  • 18. On the impact of cryptography on complexity theory / Oded Goldreich
  • 19. On some noncryptographic works of Goldwasser and Micali / Oded Goldreich
  • 20. Fundamentals of fully homomorphic encryption / Zvika Brakerski
  • 21. Interactive proofs for lattice problems / Daniele Micciancio
  • 22. Following a tangent of proofs / Johan Håstad
  • 23. A tutorial on concurrent zero-knowledge / Rafael Pass
  • 24. Doubly efficient interactive proofs / Guy Rothblem
  • 25. Computational entropy / Salil Vadhan
  • 26. A survey of leakage-resilient cryptography / Yael Tauman Kalai and Leonid Reyzin