SAT-Equiv: An Efficient Tool for Equivalence Properties - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

SAT-Equiv: An Efficient Tool for Equivalence Properties

(1, 2) , (2, 3, 4) , (5, 4, 3, 6)
1
2
3
4
5
6
Fichier principal
Vignette du fichier
CSF2017-SATequiv(1).pdf (292.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01624274 , version 1 (26-10-2017)

Identifiants

Citer

Véronique Cortier, Antoine Dallon, Stéphanie Delaune. SAT-Equiv: An Efficient Tool for Equivalence Properties. 30th IEEE Computer Security Foundations Symposium (CSF'17), Jul 2017, Santa Barbara, United States. pp.481 - 494, ⟨10.1109/CSF.2017.15⟩. ⟨hal-01624274⟩
659 Consultations
199 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More