Silvio Micali
Biografia | |
---|---|
Naixement | 13 octubre 1954 Palerm (Sicília) |
Nacionalitat | Italià americà |
Formació | Universitat de Roma La Sapienza Universitat de Califòrnia a Berkeley |
Tesi acadèmica | Randomness versus Hardness (1983) |
Director de tesi | Manuel Blum[2] |
Es coneix per | Criptosistema de Goldwasser–Micali Prova de coneixement zero[1] Funcions pseudoaleatòries Peppercoin |
Activitat | |
Camp de treball | Ciències de la computació |
Ocupació | Informàtica, criptografia |
Organització | Massachusetts Institute of Technology |
Membre de | |
Participà en | |
26 abril 2022 | Crypto Bahamas 2022 |
Global Conference 2022 (en) |
|
Obra | |
Estudiant doctoral | Mihir Bellare Rafail Ostrovsky Phillip Rogaway [3][2] |
Premis | |
Lloc web | people.csail.mit.edu/silvio |
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ó
[modifica]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
[modifica]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
[modifica]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
[modifica]- ↑ 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,0 2,1 2,2 Silvio Micali al Mathematics Genealogy Project.
- ↑ http://people.csail.mit.edu/silvio/CV.pdf
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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].
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ 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.
- ↑ Publicacions de Silvio Micali al servidor DBLP de la Universitat de Trier
- ↑ Silvio Micali a la biblioteca digital de l'ACM
- ↑ http://people.csail.mit.edu/silvio/
- ↑ 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.
- ↑ http://sigact.acm.org/prizes/godel/
- ↑ http://theory.csail.mit.edu/awards.html
- ↑ «Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography». ACM. Arxivat de l'original el 2013-03-16. [Consulta: 13 març 2013].