SAT-Equiv: An Efficient Tool for Equivalence Properties - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

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⟩
673 View
217 Download

Altmetric

Share

Gmail Facebook X LinkedIn More