names.value: PESTO
names.types: acronym
names.value: PESTO: Proof techniques for security protocols
names.types: label
names.lang: en
names.value: PESTO: Techniques de Preuves pour les Protocoles de Sécurité
names.types: label ror_display
names.lang: fr
relationships.type: parent
relationships.label: Centre Inria de l'Université de Lorraine
relationships.id: https://ror.org/03fcjvn64
relationships.type: parent
relationships.label: Laboratoire Lorrain de Recherche en Informatique et ses Applications
relationships.id: https://ror.org/02vnf0c38