Skip to Main content Skip to Navigation
Conference papers

SAT-Equiv: An Efficient Tool for Equivalence Properties

Document type :
Conference papers
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/hal-01624274
Contributor : Véronique Cortier <>
Submitted on : Thursday, October 26, 2017 - 10:44:47 AM
Last modification on : Wednesday, August 5, 2020 - 3:45:52 AM
Long-term archiving on: : Saturday, January 27, 2018 - 5:41:44 PM

File

CSF2017-SATequiv(1).pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

867

Files downloads

383