Publications of Charles Dumenil

2017

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
6th International Conference on Principles of Security and Trust (POST), Apr 2017, Uppsala, Sweden. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01430490/file/techreport.pdf BibTex
titre
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
auteur
Jannik Dreier, Charles Duménil, Steve Kremer, Ralf Sasse
article
6th International Conference on Principles of Security and Trust (POST), Apr 2017, Uppsala, Sweden
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01450916/file/main.pdf BibTex