research
∙
03/08/2023
Automatic verification of transparency protocols (extended version)
We introduce new features in ProVerif, an automatic tool for verifying s...
research
∙
11/06/2022