Silvio Micali
Silvio Micali | |
---|---|
![]() | |
Born |
Palermo, Italy | October 13, 1954
Nationality | Italian |
Fields |
Computer Science Cryptography |
Institutions | MIT Computer Science and Artificial Intelligence Laboratory |
Alma mater |
La Sapienza University of Rome University of California, Berkeley |
Thesis | Randomness versus Hardness (1983) |
Doctoral advisor | Manuel Blum[1] |
Doctoral students |
Mihir Bellare Rafail Ostrovsky Phillip Rogaway [2][1] |
Known for |
Goldwasser–Micali cryptosystem Zero-knowledge proof[3] Pseudorandom Functions Peppercoin |
Notable awards |
Gödel Prize (1993) Turing Award (2012)[3] |
Website people |
Silvio Micali (born October 13, 1954) is an Italian computer scientist at MIT Computer Science and Artificial Intelligence Laboratory and a professor of computer science in MIT's Department of Electrical Engineering and Computer Science since 1983. His research centers on the theory of cryptography and information security.[4][5][6][7][8][9][10][11][12][13][14][15]
Education
Micali graduated in mathematics at La Sapienza University of Rome in 1978 and earned a Ph.D. degree in computer science from the University of California, Berkeley in 1982;[16] his PhD thesis adviser was Manuel Blum.[1]
Research
Micali is best known for some of his fundamental early work on public-key cryptosystems, pseudorandom functions, digital signatures, oblivious transfer, secure multiparty computation, and is one of the co-inventors of zero-knowledge proofs.[17]
Awards
Micali won the Gödel Prize in 1993.[18] In 2007, he was selected to be a member of the National Academy of Sciences and a Fellow of the IACR. He is also a member of the National Academy of Engineering and the American Academy of Arts and Sciences.[19] He received the Turing Award[3] for the year 2012 along with Shafi Goldwasser for their work in the field of cryptography.[20] In 2015 the University of Salerno acknowledges his studies giving him an honoris causa degree in Computer Science.
References
- 1 2 3 Silvio Micali at the Mathematics Genealogy Project
- ↑ http://people.csail.mit.edu/silvio/CV.pdf
- 1 2 3 Savage, N. (2013). "Proofs probable: Shafi Goldwasser and Silvio Micali laid the foundations for modern cryptography, with contributions including interactive and zero-knowledge proofs". Communications of the ACM. 56 (6): 22. doi:10.1145/2461256.2461265.
- ↑ Fischer, M. J.; Micali, S.; Rackoff, C. (1996). "A secure protocol for the oblivious transfer (extended abstract)". Journal of Cryptology. 9 (3). doi:10.1007/BF00208002.
- ↑ Goldreich, O.; Micali, S.; Wigderson, A. (July 1991). "Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems" (PDF). Journal of the ACM. 38 (3): 690. doi:10.1145/116825.116852.
- ↑ Blum, M.; De Santis, A.; Micali, S.; Persiano, G. (1991). "Noninteractive Zero-Knowledge". SIAM Journal on Computing. 20 (6): 1084. doi:10.1137/0220068.
- ↑ Ben-Or, M.; Goldreich, O.; Micali, S.; Rivest, R. L. (1990). "A fair protocol for signing contracts". IEEE Transactions on Information Theory. 36: 40. doi:10.1109/18.50372.
- ↑ Goldwasser, S.; Micali, S.; Rackoff, C. (1989). "The Knowledge Complexity of Interactive Proof Systems" (PDF). SIAM J. Comput. 18 (1): 186–208. doi:10.1137/0218012.
- ↑ Goldwasser, S.; Micali, S.; Rivest, R. L. (1988). "A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks". SIAM Journal on Computing. 17 (2): 281. doi:10.1137/0217017.
- ↑ Micali, S.; Rackoff, C.; Sloan, B. (1988). "The Notion of Security for Probabilistic Cryptosystems". SIAM Journal on Computing. 17 (2): 412. doi:10.1137/0217025.
- ↑ Goldreich, O.; Micali, S.; Wigderson, A. (1987). "How to play ANY mental game". Proceedings of the nineteenth annual ACM conference on Theory of computing - STOC '87. pp. 218–229. doi:10.1145/28395.28420. ISBN 0897912217.
- ↑ Goldwasser, S.; Micali, S. (1984). "Probabilistic encryption". Journal of Computer and System Sciences. 28 (2): 270. doi:10.1016/0022-0000(84)90070-9.
- ↑ Blum, Manuel; Micali, Silvio (1984). "How to Generate Cryptographically Strong Sequences of Pseudorandom Bits" (PDF). SIAM Journal on Computing. 13 (4): 850. doi:10.1137/0213053.
- ↑ Silvio Micali at DBLP Bibliography Server
- ↑ Silvio Micali from the ACM Digital Library
- ↑ http://people.csail.mit.edu/silvio/
- ↑ Blum, M.; Feldman, P.; Micali, S. (1988). "Non-interactive zero-knowledge and its applications". Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88. p. 103. doi:10.1145/62212.62222. ISBN 0897912640.
- ↑ http://sigact.acm.org/prizes/godel/
- ↑ http://theory.csail.mit.edu/awards.html
- ↑ "Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography". ACM. Retrieved 13 March 2013.
Categorý:Fellows of the American Academy of Arts and Sciences