Abadi – Security Protocols

Libro adottato a Bologna, a.a. 2026/2027 · 2 canali

«Abadi – Security Protocols» è adottato per Cryptography dal prof. Ugo Dal Lago (Artificial Intelligence, Informatica – Bologna).

Come lo indica il docente: [6] M. Abadi. Security Protocols: Principles and Calculi. Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures, Springer-Verlag (2007), 1-23

Chi lo adotta

• Cryptography – Prof. Ugo Dal Lago (canale unico)Artificial Intelligence · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU
• Cryptography – Prof. Ugo Dal Lago (canale unico)Informatica · Laurea magistrale (LM-18) · 2º anno · 1º semestre · Tecniche del software · 6 CFU

Programma e testi di ogni canale

Si studia insieme a

• Lindell – Introduction to Modern Cryptography
• [2] O. Goldreich. Foundations of Cryptography I: Basic
• Goldreich – Foundations of Cryptography II
• Stinson – Theory and practice
• Buchmann – Introduction to Cryptography
• Rogaway – Reconciling Two Views of Cryptography