Il corso coprirà i seguenti argomenti. 1) Computazione su dati cifrati: Cifrari pienamente omomorfi. Costruzione dall'assunzione Learning-With-Errors. Teorema di bootstrapping. 2) Computazione sicura a due giocatori (2PC): Definizioni per sicurezza passiva e attiva. Teoremi di composizione. Conoscenza nulla per NP. Lancio di moneta al telefono. Trasferimento immemore. Circuiti ingarbugliati di Yao. 3) Computazione sicura a più giocatori (MPC): Definizioni per sicurezza passiva e attiva. Teoremi di composizione. Condivisione di segreti. MPC con maggioranza onesta. 4) Crittovalute: Prove di lavoro ed il protocollo Bitcoin. Libri mastri distribuiti e contratti intelligenti. Applicazioni alla computazione sicura.

-) Yehuda Lindell (Editor). Tutorials on the Foundations of Cryptography (dedicated to Oded Goldreich). Springer, 2017. -) Carmit Hazay and Yehuda Lindell. Efficient Secure Two-Party Protocols, Springer, 2010. -) Ronald Cramer, Ivan Bjerre Damgård, Jesper Buus Nielsen. Secure Multiparty Computation and Secret Sharing. Cambridge University Press, 2015.

Il corso coprirà i seguenti argomenti. 1) Computazione su dati cifrati: Cifrari pienamente omomorfi. Costruzione dall'assunzione Learning-With-Errors. Teorema di bootstrapping. 2) Computazione sicura a due giocatori (2PC): Definizioni per sicurezza passiva e attiva. Teoremi di composizione. Conoscenza nulla per NP. Lancio di moneta al telefono. Trasferimento immemore. Circuiti ingarbugliati di Yao. 3) Computazione sicura a più giocatori (MPC): Definizioni per sicurezza passiva e attiva. Teoremi di composizione. Condivisione di segreti. MPC con maggioranza onesta. 4) Crittovalute: Prove di lavoro ed il protocollo Bitcoin. Libri mastri distribuiti e contratti intelligenti. Applicazioni alla computazione sicura.

-) Yehuda Lindell (Editor). Tutorials on the Foundations of Cryptography (dedicated to Oded Goldreich). Springer, 2017. -) Carmit Hazay and Yehuda Lindell. Efficient Secure Two-Party Protocols, Springer, 2010. -) Ronald Cramer, Ivan Bjerre Damgård, Jesper Buus Nielsen. Secure Multiparty Computation and Secret Sharing. Cambridge University Press, 2015.