Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Dreier , Jannik; Duménil , Charles; Kremer , Steve; Sasse , Ralf

Journal title: "POST 2017 - 6th International Conference on Principles of Security and Trust, Apr 2017, Uppsala, Sweden. Springer, Security and Cryptology, 10204, pp.117-140, Principles of Security and Trust. 〈http://www.etaps.org/2017/post〉"

Journal number: 3

Journal publisher: Springer

Published year: 2017

DOI identifier: 10.1007/978-3-662-54455-6_6