Protocol Insecurity with Finite Number of Sessions is NP-Complete. - Michaël Rusinowitch; Mathieu Turuani (CSFW, 2001)

The AVISS Security Protocol Analysis Tool. - Alessandro Armando; David A. Basin; Mehdi Bouallagui; Yannick Chevalier; Luca Compagna; Sebastian Mödersheim; Michaël Rusinowitch; Mathieu Turuani; Luca Viganò 001; Laurent Vigneron (CAV, 2002)

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. - Yannick Chevalier; Ralf Küsters; Michaël Rusinowitch; Mathieu Turuani; Laurent Vigneron (CSL, 2003)

Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. - Yannick Chevalier; Ralf Küsters; Michaël Rusinowitch; Mathieu Turuani (FSTTCS, 2003)

On the expressivity and complexity of quantitative branching-time temporal logics. - François Laroussinie; Philippe Schnoebelen; Mathieu Turuani (Theor. Comput. Sci., 2003)

Protocol insecurity with a finite number of sessions, composed keys is NP-complete. - Michaël Rusinowitch; Mathieu Turuani (Theor. Comput. Sci., 2003)

Sécurité des protocoles cryptographiques : décidabilité et complexité. - Mathieu Turuani (2003)

Deciding the Security of Protocols with Commuting Public Key Encryption. - Yannick Chevalier; Ralf Küsters; Michaël Rusinowitch; Mathieu Turuani (ARSPA@IJCAR, 2004)

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. - Alessandro Armando; David A. Basin; Yohan Boichut; Yannick Chevalier; Luca Compagna; Jorge Cuéllar; Paul Hankes Drielsma; Pierre-Cyrille Héam; Olga Kouchnarenko; Jacopo Mantovani; Sebastian Mödersheim; David von Oheimb; et al. (CAV, 2005)

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. - Anupam Datta; Ante Derek; John C. Mitchell; Vitaly Shmatikov; Mathieu Turuani (ICALP, 2005)

An NP decision procedure for protocol insecurity with XOR. - Yannick Chevalier; Ralf Küsters; Michaël Rusinowitch; Mathieu Turuani (Theor. Comput. Sci., 2005)

The CL-Atse Protocol Analyser. - Mathieu Turuani (RTA, 2006)

Implementing a Unification Algorithm for Protocol Analysis with XOR - Max Tuengerthal; Ralf Küsters; Mathieu Turuani (CoRR, 2006)

Compositional analysis of contract-signing protocols. - Michael Backes 001; Anupam Datta; Ante Derek; John C. Mitchell; Mathieu Turuani (Theor. Comput. Sci., 2006)

Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption. - Yannick Chevalier; Ralf Küsters; Michaël Rusinowitch; Mathieu Turuani (ACM Trans. Comput. Log., 2008)

Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists. - Najah Chridi; Mathieu Turuani; Michaël Rusinowitch (CSF, 2009)

Validating Integrity for the Ephemerizer's Protocol with CL-Atse. - Charu Arora; Mathieu Turuani (Formal to Practical Security, 2009)

Satisfiability of general intruder constraints with a set constructor. - Tigran Avanesov; Yannick Chevalier; Michaël Rusinowitch; Mathieu Turuani (CRiSIS, 2010)

Verifying a bounded number of sessions and its complexity. - Michaël Rusinowitch; Mathieu Turuani (Formal Models and Techniques for Analyzing Security Protocols, 2011)

Distributed Orchestration of Web Services under Security Constraints. - Tigran Avanesov; Yannick Chevalier; Mohammed Anis Mekki; Michaël Rusinowitch; Mathieu Turuani (DPM/SETOP, 2011)

Towards Formal Validation of Trust and Security in the Internet of Services. - Roberto Carbone; Marius Minea; Sebastian Mödersheim; Serena Elisa Ponta; Mathieu Turuani; Luca Viganò 001 (Future Internet Assembly, 2011)

Ballot stuffing in a postal voting system. - Véronique Cortier; Jérémie Detrey; Pierrick Gaudry; Frédéric Sur; Emmanuel Thomé; Mathieu Turuani; Paul Zimmermann (REVOTE, 2011)

Towards the Orchestration of Secured Services under Non-disclosure Policies. - Tigran Avanesov; Yannick Chevalier; Michaël Rusinowitch; Mathieu Turuani (MMM-ACNS, 2012)

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. - Alessandro Armando; Wihem Arsac; Tigran Avanesov; Michele Barletta; Alberto Calvi; Alessandro Cappai; Roberto Carbone; Yannick Chevalier; Luca Compagna; Jorge Cuéllar; Gabriel Erzse; Simone Frau; et al. (TACAS, 2012)

On the Synthesis of Secure Services Composition. - José Antonio Martín; Fabio Martinelli; Ilaria Matteucci; Ernesto Pimentel 001; Mathieu Turuani (Engineering Secure Future Internet Services and Systems, 2014)

Automated Verification of Electrum Wallet. - Mathieu Turuani; Thomas Voegtlin; Michaël Rusinowitch (Financial Cryptography Workshops, 2016)

Intruder deducibility constraints with negation. Decidability and application to secured service compositions. - Tigran Avanesov; Yannick Chevalier; Michaël Rusinowitch; Mathieu Turuani (J. Symb. Comput., 2017)

Satisfiability of general intruder constraints with and without a set constructor. - Tigran Avanesov; Yannick Chevalier; Michaël Rusinowitch; Mathieu Turuani (J. Symb. Comput., 2017)

A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif. - Vincent Cheval; Véronique Cortier; Mathieu Turuani (CSF, 2018)

A Formal Analysis of the Neuchatel e-Voting Protocol. - Véronique Cortier; David Galindo; Mathieu Turuani (EuroS&P, 2018)

Verifiability Analysis of CHVote. - David Bernhard; Véronique Cortier; Pierrick Gaudry; Mathieu Turuani; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2018)

Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. - Mikael Bougon; Hervé Chabanne; Véronique Cortier; Alexandre Debant; Emmanuelle Dottax; Jannik Dreier; Pierrick Gaudry; Mathieu Turuani (CCS, 2022)

Design of an Efficient Distributed Delivery Service for Group Key Agreement Protocols. - Ludovic Paillat; Claudia-Lavinia Ignat; Davide Frey; Mathieu Turuani; Amine Ismail (FPS (1), 2023)

Discreet: distributed delivery service with context-aware cooperation. - Ludovic Paillat; Claudia-Lavinia Ignat; Davide Frey; Mathieu Turuani; Amine Ismail (Ann. des Télécommunications, 2025)