希爾維奧·米卡利

希爾維奧·米卡利
希爾維奧·米卡利
出生	1954年10月13日（69歲）; 意大利帕勒莫
國籍	意大利裔美國人
母校	羅馬大學; 柏克萊加州大學
知名於	Goldwasser–Micali cryptosystem; 零知識證明; Pseudorandom Functions; Peppercoin
獎項	哥德爾獎 ; 圖靈獎
網站	people.csail.mit.edu/silvio
	科學生涯
研究領域	計算機科學; 密碼學
機構	MIT Computer Science and Artificial Intelligence Laboratory
論文	Randomness versus Hardness（1983）
博士導師	曼紐爾·布盧姆
博士生	Mihir Bellare; Rafail Ostrovsky; Phillip Rogaway;

希爾維奧·米卡利 （英語：Silvio Micali，1954年10月13日—），出生於意大利帕勒莫，現在在麻省理工學院電腦科學和人工智能實驗室任職的計算機科學家。從1983年起，他是麻省理工學院電子工程和計算機科學部門的一名計算機科學教授，主要研究密碼學和信息安全的理論。^[4]^[5]^[6]^[7]^[8]^[9]^[10]^[11]^[12]^[13]^[14]他也是區塊鏈平台阿爾戈蘭德的創始人。

獎項[編輯]

1993年米卡利獲得哥德爾獎。^[15]2007年，他被選為美國工程院院士，美國藝術與科學院院士。^[16]2012年希爾維奧·米卡利和莎菲·戈德瓦塞爾因其密碼學的傑出工作獲得圖靈獎^[17]。

參照[編輯]

^ ^1.0 ^1.1 Neil Savage. Proofs probable. Communications of the ACM. 2013-06-01, 56 (6): 22–24 [2018-04-02]. ISSN 0001-0782. doi:10.1145/2461256.2461265.
^ ^2.0 ^2.1 希爾維奧·米卡利在數學譜系計畫的資料。
^ 存档副本 (PDF). [2013-12-21]. （原始內容 (PDF)存檔於2019-05-28）.
^ M. J. Fischer, S. Micali, C. Rackoff. A secure protocol for the oblivious transfer (extended abstract). Journal of Cryptology. 1996-06-01, 9 (3): 191–195 [2018-04-02]. ISSN 0933-2790. doi:10.1007/bf00208002. （原始內容存檔於2019-08-03）（英語）.
^ Oded Goldreich, Silvio Micali, Avi Wigderson. Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. Journal of the ACM (JACM). 1991-07-01, 38 (3): 690–728 [2018-04-02]. ISSN 0004-5411. doi:10.1145/116825.116852. （原始內容存檔於2016-04-09）.
^ Manuel Blum, Alfredo De Santis, Silvio Micali, Giuseppe Persiano. Noninteractive Zero-Knowledge. SIAM Journal on Computing. 2006-07-13, 20 (6): 1084–1118 [2018-04-02]. doi:10.1137/0220068. （原始內容存檔於2019-12-07）（英語）.
^ M. Ben-Or, O. Goldreich, S. Micali, R. L. Rivest. A fair protocol for signing contracts. IEEE Transactions on Information Theory. January 1990, 36 (1): 40–46 [2018-04-02]. ISSN 0018-9448. doi:10.1109/18.50372. （原始內容存檔於2019-12-07）.
^ Shafi Goldwasser, Silvio Micali, Charles Rackoff. The Knowledge Complexity of Interactive Proof Systems. SIAM Journal on Computing. 2006-07-13, 18 (1): 186–208 [2018-04-02]. doi:10.1137/0218012. （原始內容存檔於2022-06-15）（英語）.
^ Shafi Goldwasser, Silvio Micali, Ronald L. Rivest. A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks. SIAM Journal on Computing. 2006-07-13, 17 (2): 281–308 [2018-04-02]. doi:10.1137/0217017. （原始內容存檔於2021-03-08）（英語）.
^ Silvio Micali, Charles Rackoff, Bob Sloan. The Notion of Security for Probabilistic Cryptosystems. SIAM Journal on Computing. 2006-07-13, 17 (2): 412–426 [2018-04-02]. doi:10.1137/0217025. （原始內容存檔於2022-06-15）（英語）.
^ O. Goldreich, S. Micali, A. Wigderson. How to play ANY mental game. ACM: 218–229. 1987-01-01 [2018-04-02]. ISBN 0897912217. doi:10.1145/28395.28420.
^ Shafi Goldwasser, Silvio Micali. Probabilistic encryption. Journal of Computer and System Sciences: 270–299. [2018-04-02]. doi:10.1016/0022-0000(84)90070-9. （原始內容存檔於2021-03-14）.
^ Manuel Blum, Silvio Micali. How to Generate Cryptographically Strong Sequences of Pseudorandom Bits. SIAM Journal on Computing. 2006-07-13, 13 (4): 850–864 [2018-04-02]. doi:10.1137/0213053. （原始內容存檔於2019-06-25）（英語）.
^ 希爾維奧·米卡利在數位書目索引及圖書館計畫中的頁面
^ 存档副本. [2013-12-21]. （原始內容存檔於2010-03-15）.
^ 存档副本. [2013-12-21]. （原始內容存檔於2021-02-06）.
^ Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography. ACM. [13 March 2013]. （原始內容存檔於2013年3月16日）.

外部連結[編輯]

Home page （頁面存檔備份，存於網際網路檔案館）

[turing-1] 1.0 ^1.1 Neil Savage. Proofs probable. Communications of the ACM. 2013-06-01, 56 (6): 22–24 [2018-04-02]. ISSN 0001-0782. doi:10.1145/2461256.2461265.

[mathgene-2] 2.0 ^2.1 希爾維奧·米卡利在數學譜系計畫的資料。

[3] 存档副本 (PDF). [2013-12-21]. （原始內容 (PDF)存檔於2019-05-28）.

[4] M. J. Fischer, S. Micali, C. Rackoff. A secure protocol for the oblivious transfer (extended abstract). Journal of Cryptology. 1996-06-01, 9 (3): 191–195 [2018-04-02]. ISSN 0933-2790. doi:10.1007/bf00208002. （原始內容存檔於2019-08-03）（英語）.

[5] Oded Goldreich, Silvio Micali, Avi Wigderson. Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. Journal of the ACM (JACM). 1991-07-01, 38 (3): 690–728 [2018-04-02]. ISSN 0004-5411. doi:10.1145/116825.116852. （原始內容存檔於2016-04-09）.

[6] Manuel Blum, Alfredo De Santis, Silvio Micali, Giuseppe Persiano. Noninteractive Zero-Knowledge. SIAM Journal on Computing. 2006-07-13, 20 (6): 1084–1118 [2018-04-02]. doi:10.1137/0220068. （原始內容存檔於2019-12-07）（英語）.

[7] M. Ben-Or, O. Goldreich, S. Micali, R. L. Rivest. A fair protocol for signing contracts. IEEE Transactions on Information Theory. January 1990, 36 (1): 40–46 [2018-04-02]. ISSN 0018-9448. doi:10.1109/18.50372. （原始內容存檔於2019-12-07）.

[8] Shafi Goldwasser, Silvio Micali, Charles Rackoff. The Knowledge Complexity of Interactive Proof Systems. SIAM Journal on Computing. 2006-07-13, 18 (1): 186–208 [2018-04-02]. doi:10.1137/0218012. （原始內容存檔於2022-06-15）（英語）.

[9] Shafi Goldwasser, Silvio Micali, Ronald L. Rivest. A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks. SIAM Journal on Computing. 2006-07-13, 17 (2): 281–308 [2018-04-02]. doi:10.1137/0217017. （原始內容存檔於2021-03-08）（英語）.

[10] Silvio Micali, Charles Rackoff, Bob Sloan. The Notion of Security for Probabilistic Cryptosystems. SIAM Journal on Computing. 2006-07-13, 17 (2): 412–426 [2018-04-02]. doi:10.1137/0217025. （原始內容存檔於2022-06-15）（英語）.

[11] O. Goldreich, S. Micali, A. Wigderson. How to play ANY mental game. ACM: 218–229. 1987-01-01 [2018-04-02]. ISBN 0897912217. doi:10.1145/28395.28420.

[12] Shafi Goldwasser, Silvio Micali. Probabilistic encryption. Journal of Computer and System Sciences: 270–299. [2018-04-02]. doi:10.1016/0022-0000(84)90070-9. （原始內容存檔於2021-03-14）.

[13] Manuel Blum, Silvio Micali. How to Generate Cryptographically Strong Sequences of Pseudorandom Bits. SIAM Journal on Computing. 2006-07-13, 13 (4): 850–864 [2018-04-02]. doi:10.1137/0213053. （原始內容存檔於2019-06-25）（英語）.

[dblp-14] 希爾維奧·米卡利在數位書目索引及圖書館計畫中的頁面

[15] 存档副本. [2013-12-21]. （原始內容存檔於2010-03-15）.

[16] 存档副本. [2013-12-21]. （原始內容存檔於2021-02-06）.

[17] Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography. ACM. [13 March 2013]. （原始內容存檔於2013年3月16日）.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]