Trace equivalence decision
Vincent Cheval, Hubert Comon-Lundh, Stéphanie Delaune · 2011
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-type properties, like anonymity, vote-privacy, and unlinkability.