SAT-Equiv: An Efficient Tool for Equivalence Properties

Véronique Cortier (1, 2) , Antoine Dallon (2, 3, 4) , Stéphanie Delaune (5, 4, 3, 6)

1 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 PESTO - Proof techniques for security protocols
3 LSV - Laboratoire Spécification et Vérification [Cachan]
4 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
5 EMSEC - EMbedded SEcurity and Cryptography
6 IRISA-D1 - SYSTÈMES LARGE ÉCHELLE

Domaines: Cryptographie et sécurité [cs.CR]

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⟩