PESTO: Techniques de Preuves pour les Protocoles de Sécurité
facilityVillers-lès-Nancy, Grand Est, France
Research output, citation impact, and the most-cited recent papers from PESTO: Techniques de Preuves pour les Protocoles de Sécurité (France). Aggregated across the NobleBlocks index of 300M+ scholarly works.
Total works
0
h-index
0
i10-index
0
Also known as
PESTO: Proof techniques for security protocolsPESTO: Techniques de Preuves pour les Protocoles de Sécurité
Top-cited papers from PESTO: Techniques de Preuves pour les Protocoles de Sécurité
No indexed publications for this institution yet.