L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la conception assistée par ordinateur de protocoles de sécurité. Alors qu'historiquement les protocoles de sécurité visaient à protéger la confidentialité et l'authentification, la situation a changé. Les protocoles de vote électronique doivent garantir l'anonymat du votant, tout en garantissant la transparence du scrutin; les données sont transmises en utilisant des services web; les protocoles implantés dans les puces RFID et les téléphones portables doivent garantir qu'on ne puisse pas tracer les utilisateurs. À cause des logiciels malveillants de plus en plus répandus, les protocoles de sécurité utilisent de nouveaux mécanismes, tels que du hardware de confiance ou des authentifications multi-facteurs, afin de garantir des propriétés de sécurité et ceci même si la plateforme sur laquelle ces protocoles s'exécutent est compromise. Les techniques et outils existants sont cependant incapables d'analyser les propriétés de sécurité requises par ces nouveaux protocoles et de prendre en compte les nouveaux mécanismes déployés et modèles d'attaquants correspondants.
Membres
Emmanuelle Deschamps
Juline Brevillet
Dans l'actualité

Sécurité des réseaux : des algorithmes dans la tour de contrôle
Lucca Hirschi, nouveau chercheur dans l'équipe Pesto

Vote électronique : le logiciel Belenios s’ouvre au grand public
Vote en ligne : la cryptographie à la rescousse

Belenios : le vote électronique en toute transparence

Des failles de sécurité dans le protocole mobile 5G
Itsaka Rakotonirina, un chercheur de confiance

50 ans d'Inria : célébrons nos talents et imaginons notre futur numérique
Itsaka Rakotonirina : aller plus haut
