SAT-Equiv: An Efficient Tool for Equivalence Properties - Archive ouverte HAL Access content directly
Conference Papers Year : 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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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 View
199 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More