Cryptography – Bologna

Alma Mater Studiorum - Università di Bologna · Ingegneria e architettura · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Ugo Dal Lago Canale unico

Corso di laurea: Artificial Intelligence · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Bologna · Ingegneria e architettura · 6 CFU · apri nel catalogo · Artificial Intelligence · 2º anno · 1º semestre ›

Il docente indica 8 testi · da studiare tutti

Lindell – Introduction to Modern Cryptography Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

[2] O. Goldreich. Foundations of Cryptography I: Basic Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Goldreich – Foundations of Cryptography II Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Stinson – Theory and practice Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Buchmann – Introduction to Cryptography Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Abadi – Security Protocols Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Rogaway – Reconciling Two Views of Cryptography Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Blanchet – An Efficient Cryptographic Protocol Verifier Based on…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Questo corso tratta di alcuni risultati fondamentali della crittografia moderna e di alcune tecniche per la verifica formale dei protocolli crittografici. Oltre a molti concetti nuovi, si discutono alcune tecniche crittografiche già note dai corsi di laurea triennali, studiandone le proprietà più interessanti.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.