Skip to main content

Mathieu TURUANI

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

MATHIEU TURUANI

7 mars 201622 février 2018 Thierry GARTISER Actualité, Non classé, professionnel

Member of the PESTO Team, Loria-INRIA Nancy Grand-Est.

Research Interests:

  • Verification of Security Protocols
  • Electronic Voting
  • Cl-Atse protocol analyser

 

 

Navigation de l’article

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

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

novembre 2025
L M M J V S D
 12
3456789
10111213141516
17181920212223
24252627282930
« Fév    

INRIA CORPO RVBLORIA LOGOCNRS LOGOUniv Lorraine LOGO

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