Mathieu Turuani

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 8

Top Topics

Constraint Sets

Action Sequences

Formal Analysis

Top Venues

J. Symb. Comput.

Publications

Ludovic Paillat, Claudia-Lavinia Ignat, Davide Frey, Mathieu Turuani, Amine Ismail
Design of an Efficient Distributed Delivery Service for Group Key Agreement Protocols. FPS (1) (2023)
Mikael Bougon, Hervé Chabanne, Véronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani
Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. CCS (2022)
Véronique Cortier, David Galindo, Mathieu Turuani
A Formal Analysis of the Neuchatel e-Voting Protocol. EuroS&P (2018)
David Bernhard, Véronique Cortier, Pierrick Gaudry, Mathieu Turuani, Bogdan Warinschi
Verifiability Analysis of CHVote. IACR Cryptol. ePrint Arch. 2018 (2018)
Vincent Cheval, Véronique Cortier, Mathieu Turuani
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif. CSF (2018)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of general intruder constraints with and without a set constructor. J. Symb. Comput. 80 (2017)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Intruder deducibility constraints with negation. Decidability and application to secured service compositions. J. Symb. Comput. 80 (2017)
Mathieu Turuani, Thomas Voegtlin, Michaël Rusinowitch
Automated Verification of Electrum Wallet. Financial Cryptography Workshops (2016)
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, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Intruder deducibility constraints with negation. Decidability and application to secured service compositions CoRR (2012)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Towards the Orchestration of Secured Services under Non-disclosure Policies. MMM-ACNS (2012)
Véronique Cortier, Jérémie Detrey, Pierrick Gaudry, Frédéric Sur, Emmanuel Thomé, Mathieu Turuani, Paul Zimmermann
Ballot stuffing in a postal voting system. REVOTE (2011)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of General Intruder Constraints with and without a Set Constructor CoRR (2011)
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
Distributed Orchestration of Web Services under Security Constraints. DPM/SETOP (2011)
Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò
Towards Formal Validation of Trust and Security in the Internet of Services. Future Internet Assembly (2011)
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of general intruder constraints with a set constructor. CRiSIS (2010)
Charu Arora, Mathieu Turuani
Validating Integrity for the Ephemerizer's Protocol with CL-Atse. Formal to Practical Security (2009)
Najah Chridi, Mathieu Turuani, Michaël Rusinowitch
Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists. CSF (2009)
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption. ACM Trans. Comput. Log. 9 (4) (2008)
Max Tuengerthal, Ralf Küsters, Mathieu Turuani
Implementing a Unification Algorithm for Protocol Analysis with XOR CoRR (2006)
Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
Compositional analysis of contract-signing protocols. Theor. Comput. Sci. 367 (1-2) (2006)
Mathieu Turuani
The CL-Atse Protocol Analyser. RTA (2006)
Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
Compositional Analysis of Contract Signing Protocols. CSFW (2005)
Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP (2005)
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
An NP decision procedure for protocol insecurity with XOR. Theor. Comput. Sci. 338 (1-3) (2005)
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, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV (2005)
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Deciding the Security of Protocols with Commuting Public Key Encryption. Electron. Notes Theor. Comput. Sci. 125 (1) (2005)
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. FSTTCS (2003)
Michaël Rusinowitch, Mathieu Turuani
Protocol insecurity with a finite number of sessions, composed keys is NP-complete. Theor. Comput. Sci. 299 (1-3) (2003)
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
An NP Decision Procedure for Protocol Insecurity with XOR. LICS (2003)
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. CSL (2003)
François Laroussinie, Philippe Schnoebelen, Mathieu Turuani
On the expressivity and complexity of quantitative branching-time temporal logics. Theor. Comput. Sci. 297 (1-3) (2003)
Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
The AVISS Security Protocol Analysis Tool. CAV (2002)
Michaël Rusinowitch, Mathieu Turuani
Protocol Insecurity with Finite Number of Sessions is NP-Complete. CSFW (2001)
François Laroussinie, Philippe Schnoebelen, Mathieu Turuani
On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. LATIN (2000)