Professor: ZUNINO ROBERTO

en

Course name: Formal Techniques for Cryptographic Protocol Analysis [145396]

Dipartimento di Matematica, Corso di Laurea Magistrale in MATEMATICA (LM)

Dipartimento di Ingegneria e Scienza dell'Informazione, Corso di Laurea Magistrale in INFORMATICA (LM)

Didactic unit 1: Formal Techniques for Cryptogtaphic Protocol Analysis

a.a. 2019/2020