Checking trace equivalence: how to get rid of nonces?

DOI10.1007/978-3-319-24177-7_12MaRDI QIDQ2165459zbMATH OpenOpenAlexFDO

Authors Rémy Chrétien, Véronique Cortier, Stéphanie Delaune

Publication date 19 August 2022

Full work available at URL https://doi.org/10.1007/978-3-319-24177-7_12

Mathematics Subject Classification ID

Computer security (68M25) Cryptography (94A60)

Recommendations

• Deciding equivalence-based properties using constraint solving
• POR for security protocol equivalences. Beyond action-determinism
• Typing messages for free in security protocols: the case of equivalence properties
• From security protocols to pushdown automata
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols

Cited in

(1)

• Efficiently deciding equivalence for standard primitives and phases

This page was built for publication: Checking trace equivalence: how to get rid of nonces?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2165459)