Silvio Micali

Infotaula de personaSilvio Micali

Modifica el valor a Wikidata
Biografia
Naixement13 octubre 1954 Modifica el valor a Wikidata (69 anys)
Palerm (Sicília) Modifica el valor a Wikidata
Dades personals
NacionalitatItalià
americà
FormacióUniversitat de Roma La Sapienza
Universitat de Califòrnia a Berkeley
Tesi acadèmicaRandomness versus Hardness (1983)
Director de tesiManuel Blum[2]
Es coneix perCriptosistema de Goldwasser–Micali
Prova de coneixement zero[1]
Funcions pseudoaleatòries
Peppercoin
Activitat
Camp de treballCiències de la computació Modifica el valor a Wikidata
OcupacióInformàtica, criptografia
OrganitzacióMassachusetts Institute of Technology
Membre de
Participà en
26 abril 2022Crypto Bahamas 2022
Global Conference 2022 (en) Tradueix Modifica el valor a Wikidata
Obra
Estudiant doctoralMihir Bellare
Rafail Ostrovsky
Phillip Rogaway
[3][2]
Premis
Premi Gödel (1993)
Premi Turing (2014)[1]
Lloc webpeople.csail.mit.edu/silvio
Twitter (X): silviomicali LinkedIn: silvio-micali-26bb37152 Modifica el valor a Wikidata

Silvio Micali (nascut el 13 d'octubre de 1954) és un informàtic nascut a Palerm que és professor del MIT des de 1983 i treballa al MIT Computer Science and Artificial Intelligence Laboratory. La seva recerca es concentra en teoria de criptografia i seguretat de la informació.[4][5][6][7][8][9][10][11][12][13][14][15]

Educació

Micali es va llicenciar en Matemàtiques a La Sapienza el 1978 i es va doctorar en informàtica a Berkeley el 1982;[16] el seu director de tesi va ser Manuel Blum.[2]

Recerca

Micali és conegut sobretot pels seus primers treballs en criptografia de clau pública, funcions pseudoaleatòries, signatures digitals, transferència inconscient, càlcul multipart segur, i és un dels coinventors de les proves de coneixement zero.[17]

Reconeixements

Micali va guanyar el Premi Gödel el 1993.[18] El 2007, fou seleccionat per l'Acadèmia Nacional de Ciències dels Estats Units i com a Fellow de l'Associació Internacional per a la Recerca Criptològica (IACR). També és membre de la National Academy of Engineering i l'Acadèmia Americana de les Arts i les Ciències.[19] Va obtenir el Premi Turing[1] de l'any 2012 juntament amb Shafi Goldwasser per la seva feina en criptografia.[20]

Referències

  1. ↑ 1,0 1,1 1,2 Savage, N. «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, 2013, pàg. 22. DOI: 10.1145/2461256.2461265.
  2. ↑ 2,0 2,1 2,2 Silvio Micali al Mathematics Genealogy Project.
  3. ↑ [enllaç sense format] http://people.csail.mit.edu/silvio/CV.pdf
  4. ↑ Fischer, M. J.; Micali, S.; Rackoff, C. «A secure protocol for the oblivious transfer (extended abstract)». Journal of Cryptology, 9, 3, 1996. DOI: 10.1007/BF00208002.
  5. ↑ Goldreich, O.; Micali, S.; Wigderson, A. «Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems». Journal of the ACM, 38, 3, juliol 1991, pàg. 690. DOI: 10.1145/116825.116852.
  6. ↑ Blum, M.; De Santis, A.; Micali, S.; Persiano, G. «Noninteractive Zero-Knowledge». SIAM Journal on Computing, 20, 6, 1991, pàg. 1084. DOI: 10.1137/0220068.
  7. ↑ Ben-Or, M.; Goldreich, O.; Micali, S.; Rivest, R. L. «A fair protocol for signing contracts». IEEE Transactions on Information Theory, 36, 1990, pàg. 40. DOI: 10.1109/18.50372.
  8. ↑ Goldwasser, S.; Micali, S.; Rackoff, C. «The Knowledge Complexity of Interactive Proof Systems». SIAM J. Comput., 18, 1, 1989, pàg. 186–208. Arxivat de l'original el 2011-09-27. DOI: 10.1137/0218012 [Consulta: 19 febrer 2016].
  9. ↑ Goldwasser, S.; Micali, S.; Rivest, R. L. «A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks». SIAM Journal on Computing, 17, 2, 1988, pàg. 281. DOI: 10.1137/0217017.
  10. ↑ Micali, S.; Rackoff, C.; Sloan, B. «The Notion of Security for Probabilistic Cryptosystems». SIAM Journal on Computing, 17, 2, 1988, pàg. 412. DOI: 10.1137/0217025.
  11. ↑ Goldreich, O.; Micali, S.; Wigderson, A. «How to play ANY mental game». A: Proceedings of the nineteenth annual ACM conference on Theory of computing - STOC '87, 1987, p. 218-229. DOI 10.1145/28395.28420. ISBN 0897912217. 
  12. ↑ Goldwasser, S.; Micali, S. «Probabilistic encryption». Journal of Computer and System Sciences, 28, 2, 1984, pàg. 270. DOI: 10.1016/0022-0000(84)90070-9.
  13. ↑ Blum, Manuel; Micali, Silvio «How to Generate Cryptographically Strong Sequences of Pseudorandom Bits». SIAM Journal on Computing, 13, 4, 1984, pàg. 850. DOI: 10.1137/0213053.
  14. ↑ Publicacions de Silvio Micali al servidor DBLP de la Universitat de Trier
  15. ↑ Silvio Micali a la biblioteca digital de l'ACM
  16. ↑ [enllaç sense format] http://people.csail.mit.edu/silvio/
  17. ↑ Blum, M.; Feldman, P.; Micali, S. «Non-interactive zero-knowledge and its applications». A: Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88, 1988, p. 103. DOI 10.1145/62212.62222. ISBN 0897912640. 
  18. ↑ [enllaç sense format] http://sigact.acm.org/prizes/godel/
  19. ↑ [enllaç sense format] http://theory.csail.mit.edu/awards.html
  20. ↑ «Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography». ACM. Arxivat de l'original el 2013-03-16. [Consulta: 13 març 2013].
  • Vegeu aquesta plantilla
Guardonats amb el Premi Turing

Perlis (1966) • Wilkes (1967) • Hamming (1968) • Minsky (1969) • Wilkinson (1970) • McCarthy (1971) • Dijkstra (1972) • Bachman (1973) • Knuth (1974) • Newell / Simon (1975) • Rabin / Scott (1976) • Backus (1977) • Floyd (1978) • Iverson (1979) • Hoare (1980) • Codd (1981) • Cook (1982) • Thompson / Ritchie (1983) • Wirth (1984) • Karp (1985) • Hopcroft / Tarjan (1986) • Cocke (1987) • Sutherland (1988) • Kahan (1989) • Corbató (1990) • Milner (1991) • Lampson (1992) • Hartmanis / Stearns (1993) • Feigenbaum / Reddy (1994) • Blum (1995) • Pnueli (1996) • Engelbart (1997) • Gray (1998) • Brooks (1999) • Yao (2000) • Dahl / Nygaard (2001) • Rivest / Shamir / Adleman (2002) • Kay (2003) • Cerf / Kahn (2004) • Naur (2005) • Allen (2006) • Clarke / Emerson / Sifakis (2007) • Liskov (2008) • Thacker (2009) • Valiant (2010) • Pearl (2011) • Micali / Goldwasser (2012) • Lamport (2013) • Stonebraker (2014) • Hellman / Diffie (2015) • Berners-Lee (2016) • Hennessy / Patterson (2017) • Bengio / Hinton / LeCun (2018) • Hanrahan / Catmull (2019) • Aho / Ullman (2020) • Dongarra (2021) • Metcalfe (2022)

Registres d'autoritat
Bases d'informació