Loading Seminars

« All Seminars

  • This seminar has passed.

(In)Security of e-exams

19 October 2022 @ 3:00 pm - 4:00 pm

In this talk I will present our works on e-exams. We have proposed a formal framework for e-exams. In this context we have been able to define several security properties. Some of these properties have been checked on existing protocols of the literature using automatic tools like Proverif.

This is a joint seminar with FM-SEC.

Attendance via Zoom (ID: 945 3014 4790, Passcode: 325157)
Livestream via YouTube

Details

Date:
19 October 2022
Time:
3:00 pm - 4:00 pm
Seminar Tags:
,

Presenter

Pascal Lafourcade (Clermont Auvergne University)

Leave a Reply