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

Informations

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.

COVID-19 emergency notice

Due to the COVID-19 emergency, we can not perform the written exam in the standard way, gathering in the same room. Following the directions of the University of Trento, the exam will be performed in the following alternative way:

The written test will be performed online, using the Zoom platform, at the scheduled date and time, as reported on ESSE3. When the exam starts, students will receive the exam questions online as a PDF file, and will answer those questions by using their own pen & paper, while streaming themselves using Zoom so that we can monitor their activities. At the end of the exam, they will submit their paper answers as a scan or photo. Please remember to have some form of ID (e.g., identity card, passport) with you on this day.

Students will need to be available online on the exam day, but they do not need to be in any specific location. Students must be alone in a quiet room during the exam, without any course-related material in sight.

As an additional anti-cheating procedure, in the days following the written exam, some students might be asked to perform a quick additional oral test to verify the authorship and understanding of their submitted answers. This check might be performed by randomly selecting a few students, or because some suspicious activity was observed during the written test. If you are selected, you will be contacted by email.

For everything else (e.g., marking rules), the ESSE3 syllabus still applies.

(end of notice.)

Exams

Home - Teaching


Valid CSS Valid XHTML 1.1 Roberto Zunino, 2014