- 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
Presenter
-
Pascal Lafourcade (Clermont Auvergne University)Pascal Lafourcade obtained his Phd laboratory LSV at ENS Cachan on verification of cryptographic protocols in presence of algebraic properties. Then he spent one year at the ETH Zurich in David Basin group, working on WSN. After he was during seven years Maitre de conference at Verimag developing automatic technique for verifying cryptographic primitives, and analyzing security protocols. Between 2013 and 2016 he held an industrial chair on Digital Trust at Clermont Ferrand at Laboratory LIMOS. Now he is an associate professor at the University Clermont Auvergne (Clermont-Ferrand, France). He is a member of the Networks and Security Team of the LIMOS Laboratory.