Efficiently Deciding Equivalence for Standard Primitives and Phases.

Vronique Cortier, Antoine Dallon, Stphanie Delaune

Browse the full ESORICS paper archive.