Publications of Charles Dumenil
2018
Reports
-
- titre
- A Poisson sample of a smooth surface is a good sample
- auteur
- Olivier Devillers, Charles Duménil
- article
- [Research Report] RR-9239, INRIA Nancy. 2018, pp.8
- Accès au texte intégral et bibtex
-
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. pp.117-140, ⟨10.1007/978-3-662-54455-6_6⟩
- Accès au texte intégral et 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. pp.117-140, ⟨10.1007/978-3-662-54455-6_6⟩
- Accès au texte intégral et bibtex
-
