Tecniche di Progettazione Automatica.

Programma del corso, anno accademico 1995/96

Il corso presenta elementi di Sicurezza Dati e Crittografia. Ecco un elenco preliminare degli argomenti trattati:

  • Crittografia Classica.
  • Data Encryption Standard (DES).
  • Implementazione in C del DES.
  • Cifrari a blocchi. IDEA. RC5.
  • Crittoanalisi Differenziale.
  • Distribuzione di chiavi ed accordo su chiavi.
  • Crittografia a chiave pubblica (RSA, Rabin, El Gamal, Merkle-Hellman, Mc Eliece).
  • Algoritmi in Teoria dei Numeri (Primalittà, Fattorizzazione, Logaritmo discreto).
  • Firme digitali (RSA, ElGamal, Digital Signature Standard).
  • Funzioni hash (MD4, MD5, SHS).
  • Certificazione del tempo.
  • Schemi per la condivisione di segreti.
  • Crittografia Visuale.
  • Autenticazione.
  • Identificazione.
  • Zero-knowledge ed applicazioni.
  • Protocolli sicuri (Poker mentale, Elezioni, Moneta elettronica).
  • Implementazioni (Kerberos, RSAREF, PGP, PEM).
  • Crittografia quantistica.
  • Sicurezza in sistemi distribuiti.
  • INTERNET e sicurezza.
  • Sicurezza nei sistemi operativi.
  • Sicurezza nei Data Base.
  • Smart Card.
  • Virus.