{"admin":{"created":{"date":"2025-09-19","schema_version":"2.1"},"last_modified":{"date":"2026-01-15","schema_version":"2.1"}},"domains":[],"established":2016,"external_ids":[],"id":"https://ror.org/019yhsq25","links":[{"type":"website","value":"https://www.inria.fr/equipes/pesto"}],"locations":[{"geonames_details":{"continent_code":"EU","continent_name":"Europe","country_code":"FR","country_name":"France","country_subdivision_code":"GES","country_subdivision_name":"Grand Est","lat":48.67333,"lng":6.15283,"name":"Villers-lès-Nancy"},"geonames_id":2968368}],"names":[{"lang":null,"types":["acronym"],"value":"PESTO"},{"lang":"en","types":["label"],"value":"PESTO: Proof techniques for security protocols"},{"lang":"fr","types":["label","ror_display"],"value":"PESTO: Techniques de Preuves pour les Protocoles de Sécurité"}],"relationships":[{"label":"Centre Inria de l'Université de Lorraine","type":"parent","id":"https://ror.org/03fcjvn64"},{"label":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","type":"parent","id":"https://ror.org/02vnf0c38"}],"status":"active","types":["facility"]}