Finite models for formal security proofs
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03191105
Soumis le : mercredi 9 juin 2021-10:47:27
Dernière modification le : vendredi 17 mai 2024-16:22:03
Archivage à long terme le : vendredi 10 septembre 2021-18:17:07