Crittografia (2009/2010)

Codice insegnamento
4S02797
Docente
Roberto Segala
Coordinatore
Roberto Segala
crediti
6
Altri corsi di studio in cui è offerto
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
I semestre dal 1-ott-2009 al 31-gen-2010.

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
martedì 15.30 - 18.30 lezione Aula A  
mercoledì 16.30 - 18.30 lezione Aula D  

Obiettivi formativi

Il corso si propone di far acquisire le competenze di base relative agli strumenti computazionali per la criptazione dei dati, all’uso di tali strumenti per la gestione di comunicazioni sicure, e ai problemi legati all’implementazione di primitive crittografiche. Viene data enfasi sia alla struttura dei principali algoritmi e protocolli crittografici che agli aspetti definizionali dei problemi e agli strumenti formali per la loro analisi.

Programma

Crittografia a chiave simmetrica (DES, AES), CBC, crittografia a chiave pubblica (Diffie-Hellman, RSA, BBS, El Gamal), provable security e critto sistemi provable secure, funzioni one way trapdoor, generazione di bit e funzioni pseudo casuali, protocolli di firma digitale (RSA), funzioni hash collision free (MD5, SHA1), bit commitment, verifiable secret sharing, Zero-Knowledge, autenticazione di messaggi, autenticazione di agenti, modelli di specifica ed analisi (computazionale, giochi, Dolev-Yao) e loro relazioni.

Modalità d'esame

L'esame consiste di un colloquio orale sugli argomenti del programma.