SAT-Equiv: An Efficient Tool for Equivalence Properties
Domaines
Cryptographie et sécurité [cs.CR]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01624274
Soumis le : jeudi 26 octobre 2017-10:44:47
Dernière modification le : lundi 11 septembre 2023-17:41:19
Archivage à long terme le : samedi 27 janvier 2018-17:41:44