Silvio Micali, kriptografi ve kuramsal bilgisayar bilimi alanlarında çalışan araştırmacıdır. Roma Üniversitesinde matematik öğrenimi gördü, bilgisayar bilimleri doktorasını Kaliforniya Üniversitesi Berkeley yerleşkesinde tamamladı. 1983'te Massachusetts Teknoloji Enstitüsünün Elektrik Mühendisliği ve Bilgisayar Bilimleri Bölümüne katıldı. Araştırma alanları arasında sıfır bilgi kanıtları, sözde rastlantısal sayı üretimi, güvenli protokoller ve mekanizma tasarımı bulunur. Olasılıksal şifreleme ve doğrulanabilir rastlantısal fonksiyonların geliştirilmesine katkıda bulundu. [1]
GÜVENLİĞİN MATEMATİKSEL TANIMI
Micali ile Shafi Goldwasser, şifreleme yöntemlerinin güvenliğini hesaplama karmaşıklığı çerçevesinde tanımlayan çalışmalar yaptılar. Yaklaşımları, yalnızca belirli saldırıların başarısızlığına bakmak yerine, saldırganın edinebileceği bilgiyi biçimsel modellerle değerlendirmeyi amaçlar. İki araştırmacı 2012 Turing Ödülü'nü paylaştı. Micali, kuramsal araştırmalarının yanında 2017'de Algorand adlı blokzincir girişimini kurdu. MIT'deki çalışmaları güvenlik, kriptografi ve algoritma kuramını bir araya getirir. Gödel Ödülü ve RSA Ödülü de aldığı bilimsel ödüller arasındadır. [1][2]