Checking Trace Equivalence: How to Get Rid of Nonces?

Rmy Chrtien, Vronique Cortier, Stphanie Delaune

Browse the full ESORICS paper archive.