(In)Security of e-exams
19 October 2022
Presented by
Pascal Lafourcade
(Clermont Auvergne University)
Abstract
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.
See video on YouTube