Computer security is becoming a major concern with the constant increase of network communications. The main challenge is to guarantee the security of financial transactions, document exchanges and even electronic vote. Within this framework, mathematical concepts like those used in cryptography as well as computer theory concepts like logic and algebra are used for the modelling and formal verification of security protocols.
This workshop is initiated under the framework of the project "Design and implementation of electronic voting systems and tools for formal validation of electronic vote protocols" supported by a DGRST/INRIA fund. In this first edition, guest speakers were selected to present the recent results and the challenges in this field.
Presentations will be mainly in French.

Photos from manifestation