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...
Saved in:
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
[New York, New York] :
Association for Computing Machinery,
[2019]
|
| Edition: | First edition. |
| Series: | ACM books ;
#30. |
| Subjects: | |
| ISBN: | 9781450372695 9781450372688 9781450372664 9781450372671 |
| Physical Description: | 1 online zdroj (xxxv, 800 stran) : ilustrace |
Cover
Table of contents
| LEADER | 06271cam a2200625 i 4500 | ||
|---|---|---|---|
| 001 | 108515 | ||
| 003 | CZ-ZlUTB | ||
| 005 | 20240914114854.0 | ||
| 006 | m fo d | ||
| 007 | cr cnu|||m|||a | ||
| 008 | 191212s2019 nyua fob 000 0ceng d | ||
| 040 | |a CaBNVSL |b eng |e rda |c J2I |d J2I |d OCLCF |d CUS |d NJT |d OCL |d ORU |d OCLCQ |d OCLCO |d YDX |d KSU |d OCLCQ | ||
| 020 | |a 9781450372695 |q (ebook) | ||
| 020 | |a 9781450372688 |q (epub) | ||
| 020 | |z 9781450372664 |q (hardcover) | ||
| 020 | |z 9781450372671 |q (paperback) | ||
| 024 | 7 | |a 10.1145/3335741 |2 doi | |
| 035 | |a (OCoLC)1130713220 | ||
| 043 | |a n-us--- |a a-is--- |a e-it--- | ||
| 245 | 0 | 0 | |a Providing sound foundations for cryptography : |b on the work of Shafi Goldwasser and Silvio Micali / |c Oded Goldreich, editor. |
| 246 | 3 | 0 | |a On the work of Shafi Goldwasser and Silvio Micali |
| 250 | |a First edition. | ||
| 264 | 1 | |a [New York, New York] : |b Association for Computing Machinery, |c [2019] | |
| 300 | |a 1 online zdroj (xxxv, 800 stran) : |b ilustrace | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a počítač |b c |2 rdamedia | ||
| 338 | |a online zdroj |b cr |2 rdacarrier | ||
| 490 | 1 | |a ACM books, |x 2374-6777 ; |v #30 | |
| 500 | |a "A.M. Turing Award"--Cover | ||
| 504 | |a Obsahuje bibliografické odkazy. | ||
| 505 | 0 | |a 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 | |
| 505 | 8 | |a 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. | |
| 506 | |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty | ||
| 520 | |a "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 based on firm foundations, whereas ad hoc approaches and heuristics are a very dangerous way to go. These foundations were developed mostly in the 1980s, in works that are all co-authored by Shafi Goldwasser and/or Silvio Micali. These works have transformed cryptography from an engineering discipline, lacking sound theoretical foundations, into a scientific field possessing a well-founded theory, which influences practice as well as contributes to other areas of theoretical computer science. This book celebrates these works, which were the basis for bestowing the 2012 A.M. Turing Award upon Shafi Goldwasser and Silvio Micali. A significant portion of this book reproduces some of these works, and another portion consists of scientific perspectives by some of their former students. The highlight of the book is provided by a few chapters that allow the readers to meet Shafi and Silvio in person. These include interviews with them, their biographies and their Turing Award lectures."-- |c Provided by publisher | ||
| 600 | 1 | 0 | |a Goldwasser, S. |q (Shafi), |d 1958- |
| 600 | 1 | 0 | |a Micali, Silvio. |
| 650 | 0 | |a Computer scientists |z United States |v Biography. | |
| 650 | 0 | |a Computer scientists |z Israel |v Biography. | |
| 650 | 0 | |a Computer scientists |z Italy |v Biography. | |
| 650 | 0 | |a Cryptography. | |
| 650 | 0 | |a Cryptography |x Data processing. | |
| 650 | 0 | |a Electronic data processing |x Distributed processing. | |
| 650 | 0 | |a Computer algorithms. | |
| 651 | 7 | |a Israel. |2 fast |0 (OCoLC)fst01204236 | |
| 651 | 7 | |a Italy. |2 fast |0 (OCoLC)fst01204565 | |
| 651 | 7 | |a United States. |2 fast |0 (OCoLC)fst01204155 | |
| 655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
| 655 | 9 | |a electronic books |2 eczenas | |
| 700 | 1 | |a Goldreich, Oded, |e editor. | |
| 776 | 0 | 8 | |i Print version: |z 9781450372671 |z 9781450372664 |
| 830 | 0 | |a ACM books ; |v #30. | |
| 856 | 4 | 0 | |u https://proxy.k.utb.cz/login?url=https://dl.acm.org/doi/book/10.1145/3335741 |y Plný text |
| 992 | |c EBOOK-TN |c ACM | ||
| 999 | |c 108515 |d 108515 | ||
| 993 | |x NEPOSILAT |y EIZ | ||
Save to List
Cite this
Export Record
Email this