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

"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...

Full description

Saved in:
Bibliographic Details
Other Authors Goldreich, Oded (Editor)
Format Electronic eBook
LanguageEnglish
Published [New York, New York] : Association for Computing Machinery, [2019]
EditionFirst edition.
SeriesACM books ; #30.
Subjects
Goldwasser, S. > (Shafi), > 1958-
Micali, Silvio.
Computer scientists > United States > Biography.
Computer scientists > Israel > Biography.
Computer scientists > Italy > Biography.
Cryptography.
Cryptography > Data processing.
Electronic data processing > Distributed processing.
Computer algorithms.
Israel.
Italy.
United States.
elektronické knihy
electronic books
Online AccessFull text
ISBN9781450372695
9781450372688
9781450372664
9781450372671
ISSN2374-6777 ;
Physical Description1 online zdroj (xxxv, 800 stran) : ilustrace

Cover

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
  • Editor and author biographies.

Similar Items