PESTO: Techniques de Preuves pour les Protocoles de Sécurité | Rogue Scholar

Also known as

PESTO: Proof techniques for security protocols

Type

Facility

Location

Villers-lès-Nancy, Grand Est, France

Website

https://www.inria.fr/equipes/pesto

Parent

Centre Inria de l'Université de Lorraine

ROR

Laboratoire Lorrain de Recherche en Informatique et ses Applications

ROR