A reduced semantics for deciding trace equivalence using constraint systems

David Baelde, Stéphanie Delaune, Lucca Hirschi

Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be de…