MATHIEU TURUANI 7 mars 201622 février 2018 Thierry GARTISER Member of the PESTO Team, Loria-INRIA Nancy Grand-Est. Research Interests: Verification of Security Protocols Electronic Voting Cl-Atse protocol analyser
