Publications of 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〉
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〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01430490/file/techreport.pdf BibTex