Publications

Publications HAL de charles dumenil

2017

Conference papers

titre
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
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. Springer, Security and Cryptology, 10204, pp.117-140, Principles of Security and Trust. 〈http://www.etaps.org/2017/post〉
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01450916/file/main.pdf BibTex
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. Springer, LNCS, 10204, pp.117-140, 2017, Proceedings of the 6th International Conference on Principles of Security and Trust. 〈http://www.etaps.org/2017/post〉. 〈10.1007/978-3-662-54455-6_6〉
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-662-54455-6_6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01430490/file/techreport.pdf BibTex