Teoria della sicurezza e crittografia

Il linguaggio go: https://golang.org

Analisi delle APDU di smart card di sicurezza

Programma del corso:

• teorema dei resti cinesi
• teorema di eulero (aritmetica modulare)
• algoritmo di euclide esteso
• algoritmo RSA
• workflow e loro rappresentazione in forma normale congiuntiva
• alberi di descrizione delle transazioni
• regole di sicurezza su sistemi multitransazionali
• modelli per la cifra omomorfica
• uso della cifra omomorfica per la distribuzione controllata di chiavi di cifra 
• network security: tipologie di attacchi in rete, controllo e documentazione di attacchi
• Esercitazioni e laboratorio
• implementazione in linguaggio go di
• teorema dei resti cinesi
• algoritmo di euclide esteso
• algoritmo RSA

Handbook of applied cryptography

Scaricabile da:

- http://cacr.uwaterloo.ca/hac/

- Handbook of Applied Cryptography - FAU Math

Smart Card Handbook John Wiley Sons

Scaricabile da:

- http://pdf.th7.cn/down/files/1312/Smart%20Card%20Handbook,%204th%20Edition.pdf

Dispense

- inoltrare richiesta via email per ricevere le dispense delle lezioni dell'anno corrente.

Appuntamento, da concordare via email 

• L’esame prevede la realizzazione di un progetto di applicazione di architetture di sicurezza e algoritmi di crittografia e una prova orale.
• Il tema del progetto deve essere concordato con il docente.
• Lo studente deve inviare il progetto realizzato prima della prova orale.
• Il progetto verrà discusso durante l’orale

Studenti lavoratori e studenti impossibilitati a seguire le lezioni sono pregati di contattare il docente per avere le dispense aggiornate e per concordare il progetto.