Silvio Micali

Silvio Micali
Born (1954-10-13) October 13, 1954
Palermo, Italy
Nationality Italian American
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.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][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. 1 2 3 Silvio Micali at the Mathematics Genealogy Project
  2. ↑ http://people.csail.mit.edu/silvio/CV.pdf
  3. 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.
  4. ↑ 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.
  5. ↑ 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.
  6. ↑ Blum, M.; De Santis, A.; Micali, S.; Persiano, G. (1991). "Noninteractive Zero-Knowledge". SIAM Journal on Computing 20 (6): 1084. doi:10.1137/0220068.
  7. ↑ 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.
  8. ↑ 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.
  9. ↑ 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.
  10. ↑ 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.
  11. ↑ 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.
  12. ↑ Goldwasser, S.; Micali, S. (1984). "Probabilistic encryption". Journal of Computer and System Sciences 28 (2): 270. doi:10.1016/0022-0000(84)90070-9.
  13. ↑ 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.
  14. ↑ Silvio Micali's publications indexed by the DBLP Bibliography Server at the University of Trier
  15. ↑ Silvio Micali from the Association for Computing Machinery (ACM) Digital Library
  16. ↑ http://people.csail.mit.edu/silvio/
  17. ↑ 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.
  18. ↑ http://sigact.acm.org/prizes/godel/
  19. ↑ http://theory.csail.mit.edu/awards.html
  20. ↑ "Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography". ACM. Retrieved 13 March 2013.


This article is issued from Wikipedia - version of the Friday, February 12, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.