Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali
暫譯: 為密碼學提供堅實基礎：關於 Shafi Goldwasser 和 Silvio Micali 的研究
Goldreich, Oded
相關主題
商品描述
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.
商品描述(中文翻譯)
密碼學關注於構建能夠抵抗任何濫用的方案。
密碼學方案的構建旨在保持所需的功能，即使在惡意嘗試使其偏離預定行為的情況下也是如此。密碼系統的設計必須基於堅實的基礎，而臨時的做法和啟發式方法則是一條非常危險的道路。這些基礎主要是在1980年代發展起來的，這些工作都是由Shafi Goldwasser和/或Silvio Micali共同撰寫的。這些工作將密碼學從一個缺乏健全理論基礎的工程學科轉變為一個擁有良好理論基礎的科學領域，這不僅影響了實踐，還對其他理論計算機科學領域做出了貢獻。
本書慶祝這些工作，這些工作是授予Shafi Goldwasser和Silvio Micali 2012年A.M.圖靈獎的基礎。本書的相當一部分重現了這些工作，另一部分則由他們的一些前學生提供科學觀點。本書的亮點是幾個章節，讓讀者能夠親自了解Shafi和Silvio。這些章節包括對他們的訪談、他們的傳記以及他們的圖靈獎演講。
作者簡介
Oded Goldreich was born on February 4, 1957, in Israel. He received B.A., M.Sc., and D.Sc. degrees in Computer Science at the Technion-Israel Institute of Technology in 1980, 1982 and 1983, respectively. He was a postdoctoral fellow at MIT's Laboratory for Computer Science (1983-1986). Since 1995, he has been on the faculty of the Department of Mathematics and Computer Science of the Weizmann Institute of Science (Israel), where he is the incumbent of the Meyer W. Weisgal Professorial Chair. His current research interests include probabilistic proof systems, property testing, pseudorandomness, and complexity theory at large. Oded has made numerous contributions to the theory of computation, most notablly to the foundations of cryptography, pseudorandomness, probabilistic proof systems, property testing, and complexity theory at large.
He is the author of several books, including Foundations of Cryptography: Volumes 1 and 2 (2001 and 2004), Computational Complexity: A Conceptual Perspective (2008), P, NP, and NP-Completeness: The Basics of Complexity Theory (2010), and Introduction to Property Testing (2017).
Oded is an associate editor of the journal Computational Complexity, and was an editor of Journal of Cryptology and SIAM Journal on Computing. He has been an invited speaker at various conferences, including the 1994 International Congress of Mathematicians (ICM) and the Crypto '97 conference. He is a Corresponding Fellow of the Bavarian Academy of Sciences and Humanities, a Fellow of the International Association for Cryptologic Research (IACR), and a winner of the 2017 Donald E. Knuth Prize.
作者簡介(中文翻譯)
Oded Goldreich 於 1957 年 2 月 4 日出生於以色列。他於 1980 年、1982 年和 1983 年在以色列理工學院 (Technion-Israel Institute of Technology) 獲得計算機科學的學士、碩士和博士學位。他曾在麻省理工學院 (MIT) 的計算機科學實驗室擔任博士後研究員 (1983-1986)。自 1995 年以來，他一直在以色列魏茨曼科學研究所 (Weizmann Institute of Science) 的數學與計算機科學系任教，並擔任梅耶·W·韋斯加爾教授席位的教授。他目前的研究興趣包括隨機證明系統、性質測試、偽隨機性以及計算複雜性理論等廣泛領域。Oded 在計算理論方面做出了許多貢獻，特別是在密碼學基礎、偽隨機性、隨機證明系統、性質測試和計算複雜性理論等方面。
他是幾本書的作者，包括《密碼學基礎：第一卷和第二卷》（2001 年和 2004 年）、《計算複雜性：概念視角》（2008 年）、《P、NP 和 NP 完全性：複雜性理論的基礎》（2010 年）以及《性質測試導論》（2017 年）。
Oded 是期刊《計算複雜性》的副編輯，曾擔任《密碼學期刊》（Journal of Cryptology）和《SIAM 計算期刊》（SIAM Journal on Computing）的編輯。他曾在各種會議上擔任受邀演講者，包括 1994 年國際數學家大會 (ICM) 和 Crypto '97 會議。他是巴伐利亞科學與人文學院的通訊院士、國際密碼學研究協會 (IACR) 的院士，以及 2017 年唐納德·E·克努斯獎的獲得者。
