Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05

2° Anno   Attivato nell'A.A. 2015/2016

InsegnamentiCreditiTAFSSD
6
B
INF/01
Altre attivita' formative (taf f)
4
F
-
InsegnamentiCreditiTAFSSD
12
B
ING-INF/05
12
B
INF/01
12
B
ING-INF/05
Attivato nell'A.A. 2015/2016
InsegnamentiCreditiTAFSSD
6
B
INF/01
Altre attivita' formative (taf f)
4
F
-
Insegnamenti Crediti TAF SSD

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S02797

Coordinatore

Roberto Segala

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

I semestre dal 1 ott 2015 al 29 gen 2016.

Sede

VERONA

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.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI