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.

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.

UPDATE: how to prepare for the online exam:

Please check that your equipment (computer, phone, or other device) is working before the test, including video and audio. You will need to keep both camera & microphone open during the exam, so try to find a quiet place. Test your Zoom installation as well.

Please disable screensavers or other locking mechanisms on your device, so that you don't need to continuously unlock it during the exam to keep the questions visible.

Video can drain your battery quickly during the exam, so keep your device plugged into a socket.

If you disconnect, don't panic but reconnect as quickly as possible.

Have some ID with you (identity card, passport, ...), as well as enough pens and paper.

At the end of the exam you will need to submit your answer by email, after scanning / taking a photo of your sheets, so please ensure you can do that with your device.

(end of notice.)


Home - Teaching

Valid CSS Valid XHTML 1.1 Roberto Zunino, 2014