The next Comète seminar will take place next Tuesday 30th of August at 14h00 in Salle Marcel-Paul Schützenberger (LIX). Ali Kassem, posdoc researcher at Ecole de Mines Nantes, will talk about Automated Verification of e-Exam Protocols.

Abstract: Security is a crucial requirement in the applications based on information and communication technology, especially when an open network such as the Internet is used. To ensure security in such applications several security protocols have been developed. However, the design of complex security protocols, such as e-exams, is notoriously difficult and error-prone. Moreover, some bugs may be introduced during implementation.

In this talk, first I will present a formal framework in the applied pi-calculus to verify the fundamental properties (e.g. Authentication, Privacy, Verifiability) of e-exam. Second, I will present several monitors (expressed as Quantified Event Automata) adapted for runtime verification of e-exams.