Rémy Chrétien, Véronique Cortier, Stéphanie Delaune. Decidability of Trace Equivalence for Protocols with Nonces. In Cédric Fournet, Michael W. Hicks, Luca Viganò, editors, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. pages 170-184, IEEE, 2015. [doi]
Abstract is missing.