Silvio Micali
Silvio Micali | |
---|---|
Born |
Palermo, Italy | October 13, 1954
Nationality | Italian American |
Fields |
Computer Science Cryptography |
Institutions | MIT Computer Science and Artificial Intelligence Laboratory |
Alma mater | 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 Turing Award[3] |
Website | |
people.csail.mit.edu/silvio |
Silvio Micali (born October 13, 1954) is an Italian-born 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]
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;[15] 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.[16]
Awards
Micali won the Gödel Prize in 1993.[17] 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.[18] He received the Turing Award[3] for the year 2012 along with Shafi Goldwasser for their work in the field of cryptography.[19]
References
- ↑ 1.0 1.1 1.2 Silvio Micali at the Mathematics Genealogy Project
- ↑ http://people.csail.mit.edu/silvio/CV.pdf
- ↑ 3.0 3.1 3.2 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". 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". 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". SIAM Journal on Computing 13 (4): 850. doi:10.1137/0213053.
- ↑ List of publications from the DBLP Bibliography Server
- ↑ http://people.csail.mit.edu/silvio/
- ↑ Blum, Manuel; Feldman, Paul; Micali, Silvio (1988). "Non-Interactive Zero-Knowledge and Its Applications". Proceedings of the twentieth annual ACM symposium on Theory of computing (STOC 1988): 103–112. doi:10.1145/62212.62222.
- ↑ 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.
External links
|