Checking Trace Equivalence: How to Get Rid of Nonces?

Rémy Chrétien (1, 2) , Véronique Cortier (1) , Stéphanie Delaune (2)

1 CASSIS - Combination of approaches to the security of infinite states systems
2 LSV - Laboratoire Spécification et Vérification [Cachan]

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

Rémy Chrétien, Véronique Cortier, Stéphanie Delaune. Checking Trace Equivalence: How to Get Rid of Nonces?. ESORICS 2015 - 20th European Symposium on Research in Computer Security, Sep 2015, Vienne, Austria. ⟨10.1007/978-3-319-24177-7_12⟩. ⟨hal-01238163⟩