News

Colloquia Patavina: Proof, Secrets, and Computation

Lunedì 25 Maggio 2015, ore 9:30 - Aula Magna "Galileo Galilei" Palazzo Bo - Silvio Micali

ARGOMENTI: Seminari

COLLOQUIA PATAVINA

Lunedì 25 Maggio 2015 alle ore 9:30 in Aula Magna "Galileo Galilei" del Palazzo Bo, Silvio Micali (MIT, Boston) terrà una conferenza della serie Colloquia Patavina dal titolo "Proof, Secrets, and Computation".

Abstract
We show how Theory of Computation has revolutionized our millenary notion of a proof, revealing its unexpected applications to our new digital world.
In particular, we shall demonstrate how interaction can make proofs much easier to verify, dramatically limit the amount of knowledge released, and yield the most secure identification schemes to date.

La Commissione Colloquia
F. Ancona, C. Bonotto, M. Conti, M. Longo

Download Colloquia Patavina

NEWS: Sciopero dei docenti e svolgimento degli esami - L'eventuale astensione riguardera' il primo appello d'esame programmato nel periodo 28 agosto - 31 ottobre 2017. X