La teoria della computazione ha rivoluzionato il millenario concetto di prova, rivelandone inaspettate applicazioni nel mondo digitale. In particolare, le nuove “prove interattive” non solo sono incredibilmente efficienti da verificare, ma offrono il più sicuro sistema di identificazione elettronica attualmente esistente. Tra prove, segreti e computazioni, Silvio Micali, lo scienziato che, insieme alla collega israeliana Shafi Goldwasser, si è aggiudicato il prestigioso Turing Award 2013 ci porta alla scoperta dell'affascinante mondo della computer science.

L'evento fa parte dell'iniziativa "L'Università in Festival" a cura dell'Università degli Studi di Genova.