Formal Techniques for Cryptographic Protocol Analysis (Laurea Magistrale in Matematica)


This page contains information about the course. It will be updated during the course, providing material and references.

In order to read the presentations, you will need LibreOffice or any other OpenDocument format reader.

Teaching material:

Please note that the presentations above can be updated without notice.

Some references and links:

Assignments (optional)

Reminder: these are individual assignments, so working in groups is not allowed.


Home - Teaching

Valid CSS Valid XHTML 1.1 Roberto Zunino, 2014