Docente
|
VENTURI DANIELE
(programma)
Il corso è un'introduzione alle tecniche di crittografia moderna, con focus sulla sicurezza dimostrabile (in senso matematico). Segue una lista di argomenti:
1. Sicurezza incondizionata: Segretezza perfetta, one-time pad, teorema di Shannon. Autenticazione perfetta ed estrattori.
2. Sicurezza computazionale: Funzioni unidirezionali e teoria della complessità. Basi di teoria dei numeri e funzioni unidirezionali candidate. Indistinguibilità computazionale, e assunzioni decisionali.
3. Crittografia simmetrica: Generatori pseudocasuali e bit hard-core. Funzioni pseudocasuali e reti di Feistel. Cifratura simmetrica: Definizioni e costruzioni, modi operativi. Autenticazione di messaggio: Definizioni e costruzioni. Funzioni hash e modello dell'oracolo casuale, resistenza alle collisioni e costruzione di Merkle-Damgaard.
4. Crittografia asimmetrica: Cifratura a chiave pubblica: Definizioni e costruzioni. Firme digitali: Definizioni e costruzioni.
5. Argomenti avanzati: Conoscenza nulla e applicazioni. Computazione sicura.
Daniele Venturi, Crittografia nel Paese delle Meraviglie, Springer, Collana di Informatica, 2012.
Jonathan Katz and Yehuda Lindell, Introduction to Modern Cryptography, CRC Press, Second Edition, 2014.
Oded Goldreich, Foundations of Cryptography - Volume 1 Basic Techniques, Cambridge University Press, 2001.
Jonathan Katz, Digital Signatures, Springer, 2010.
Carmit Hazay and Yehuda Lindell, Efficient Secure Two-Party Protocols, Springer, 2010.
Salil P. Vadhan, Pseudorandomness, Foundations and Trends in Theoretical Computer Science, Vol. 7, Issue 1-3, 2012.
|