Jump to content

Silvio Micali

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by KasparBot (talk | contribs) at 01:26, 12 February 2016 (migrating Persondata to Wikidata, please help, see challenges for this article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Silvio Micali
Born (1954-10-13) October 13, 1954 (age 69)
NationalityItalian American
Alma materLa Sapienza University of Rome
University of California, Berkeley
Known forGoldwasser–Micali cryptosystem
Zero-knowledge proof[1]
Pseudorandom Functions
Peppercoin
AwardsGödel Prize (1993)
Turing Award (2012)[1]
Scientific career
FieldsComputer Science
Cryptography
InstitutionsMIT Computer Science and Artificial Intelligence Laboratory
ThesisRandomness versus Hardness (1983)
Doctoral advisorManuel Blum[2]
Doctoral studentsMihir Bellare
Rafail Ostrovsky
Phillip Rogaway
[3][2]
Websitepeople.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.[2]

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[1] 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. ^ a b c 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.
  2. ^ a b c Silvio Micali at the Mathematics Genealogy Project
  3. ^ http://people.csail.mit.edu/silvio/CV.pdf
  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 at DBLP Bibliography Server Edit this at Wikidata
  15. ^ Silvio Micali author profile page at the 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.