Conference papers

titre

Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (extended version)

auteur

Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse

article

POST 2017 - 6th International Conference on Principles of Security and Trust, Apr 2017, Uppsala, Sweden. pp.117-140, ⟨10.1007/978-3-662-54455-6_6⟩

Accès au texte intégral et bibtex