Skip to content

Research facility · founded 2016

PESTO: Techniques de Preuves pour les Protocoles de Sécurité

Villers-lès-Nancy, France · inria.fr/equipes/pesto

Part of Centre National de la Recherche Scientifique

Manage this page

Citations, last 5 years: 226
Works, last 5 years: 65
h-index: 20
Scientists listed: 2
Grants since 2016: 0

Strongest research topics

Advanced Authentication Protocols Security74Computer Science
Formal Methods in Verification63Computer Science
Logic, programming, and type systems62Computer Science
Cryptography and Data Security53Computer Science
Internet Traffic Analysis and Secure E-voting33Computer Science
Security and Verification in Computing20Computer Science

Most cited scientists, last five years

Lucca HirschiPESTO: Techniques de Preuves pour les Protocoles de Sécurité · FranceComputer Science28citations, 5 yrs7works, 5 yrs12h-index Laurent VigneronPESTO: Techniques de Preuves pour les Protocoles de Sécurité · FranceComputer Science0citations, 5 yrs4works, 5 yrs14h-index