Blanchet – An Efficient Cryptographic Protocol Verifier Based on…

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

«Blanchet – An Efficient Cryptographic Protocol Verifier Based on…» è adottato per Cryptography dal prof. Ugo Dal Lago (Artificial Intelligence, Informatica – Bologna).

Come lo indica il docente: [8] B. Blanchet. An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. 14th IEEE Computer Security Foundations Workshop (CSFW-14), pages 82-96, Cape Breton, Nova Scotia, Canada, June 2001. IEEE Computer Society

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
• Abadi – Security Protocols