Selected publications by Antoine Mercier
Journals
- KMT11
-
Steve Kremer, Antoine Mercier and Ralf Treinen. Reducing Equational Theories for the Decision of Static Equivalence. Journal of Automated Reasoning, 2011. To appear. ( PDF | BibTeX + Abstract )
Conferences
- KMT09a
-
Steve Kremer, Antoine Mercier and Ralf Treinen. Reducing Equational Theories for the Decision of Static Equivalence. In A. Datta (ed.), ASIAN'09, LNCS 5913, pages 94-108. Springer, 2009. ( PDF | PS | PS.GZ | PDF (long version) | BibTeX + Abstract )
- KMT08
-
Steve Kremer, Antoine Mercier and Ralf Treinen. Proving Group Protocols Secure Against Eavesdroppers. In A. Armando, P. Baumgartner and G. Dowek (eds.), IJCAR'08, LNAI 5195, pages 116-131. Springer-Verlag, 2008. ( PDF | PDF (long version) | BibTeX + Abstract )
Theses
- Mer09
-
Antoine Mercier. Contributions à l'analyse automatique des protocoles
cryptographiques en présence de propriétés algébriques :
protocoles de groupe, équivalence statique. Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan,
France, December 2009. ( PDF | BibTeX )
Other Publications
- KMT09b
-
Steve Kremer, Antoine Mercier and Ralf Treinen. Reducing Equational Theories for the Decision of Static Equivalence
(Preliminary Version). In H. Comon-Lundh and C. Meadows (eds.), SecReT'09. 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract )
- Mer06
-
Antoine Mercier. La logique linéaire multiplicative cyclique est NP-complète
(d'après Mati Pentus). Rapport de Master, Master de Logique Mathématique et Fondements de
l'Informatique, Paris, France, July 2006. ( PDF | BibTeX )