Share to: share facebook share twitter share wa share telegram print page

 

希爾維奧·米卡利

希爾維奧·米卡利
出生 (1954-10-13) 1954年10月13日70歲)
意大利帕勒莫
国籍意大利裔美国人
母校羅馬大學
柏克萊加州大學
知名于Goldwasser–Micali cryptosystem
零知识证明[3]
Pseudorandom Functions
Peppercoin
奖项哥德尔奖
图灵奖[3]
网站people.csail.mit.edu/silvio
科学生涯
研究领域计算机科学
密码学
机构MIT Computer Science and Artificial Intelligence Laboratory
论文Randomness versus Hardness(1983)
博士導師曼纽尔·布卢姆[1]
博士生Mihir Bellare
Rafail Ostrovsky
Phillip Rogaway
[2][1]

希爾維奧·米卡利 (英語:Silvio Micali,1954年10月13日),出生于意大利帕勒莫,现在在麻省理工學院電腦科學和人工智能实验室任职的计算机科学家。从1983年起,他是麻省理工學院电子工程和计算机科学部门的一名计算机科学教授,主要研究密码学信息安全的理论。[4][5][6][7][8][9][10][11][12][13][14]他也是区块链平台阿尔戈兰德的创始人。

奖项

1993年米卡利获得哥德尔奖[15]2007年,他被选为美国工程院院士,美国艺术与科学院院士。[16]2012年希爾維奧·米卡利和莎菲·戈德瓦塞尔因其密码学的杰出工作获得图灵奖[17]

参照

  1. ^ 1.0 1.1 希爾維奧·米卡利數學譜系計畫的資料。
  2. ^ 存档副本 (PDF). [2013-12-21]. (原始内容 (PDF)存档于2019-05-28). 
  3. ^ 3.0 3.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. 
  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) (英语). 
  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日). 

外部链接

Kembali kehalaman sebelumnya


Index: pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve 
Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9