Skip to main content

Mathieu TURUANI

  •  CV
  •  Publis
  •  Équipe
  •  Projets
  •  Contact
    • Infos de contact
    • Plan d’accès
  •  Perso
    • Pages statiques
    • Mon blog

A formal analysis of the Neuchâtel e-voting protocol

22 février 201822 février 2018 turuani

Supporting EuroS&P’s paper presenting our formal analysis of the Neuchâtel e-voting protocol, the analysis description, files and scripts can be found here :

http://homepages.loria.fr/MTuruani/Neuchatel-Analysis/

 

This is a commong work with Véronique Cortier and David Galindo.

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

 

 

trombine

Mathieu TURUANI

Fonction :
Chargé de Recherche INRIA
Contact :
turuani at loria dot fr
Tel.+33 (0)3.83.59.30.00
Bureau B262
615 rue du jardin botanique
54600 Villers lès Nancy

mai 2025
L M M J V S D
 1234
567891011
12131415161718
19202122232425
262728293031  
« Fév    

INRIA CORPO RVBLORIA LOGOCNRS LOGOUniv Lorraine LOGO

  • Mentions légales
sparkling Thème par Colorlib. Propulsé par WordPress