Mathieu Turuani

Most-cited papers

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
A. Armando, David A. Basin, Yohan Boichut, Yannick Chevalier +13 more
2005International Conference on Computer Aided Verification1,469 citations Open access
Semantic Scholar
The CL-Atse Protocol Analyser
Mathieu Turuani
2006International Conference on Rewriting Techniques and Applications279 citations Open access
Semantic Scholar
Protocol insecurity with finite number of sessions is NP-complete
M. Rusinowitch, Mathieu Turuani
2001Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.260 citations
Semantic Scholar
An NP decision procedure for protocol insecurity with XOR
Yannick Chevalier, Ralf Küsters, M. Rusinowitch, Mathieu Turuani
200318th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.211 citations Open access
Semantic Scholar
Protocol insecurity with a finite number of sessions, composed keys is NP-complete
M. Rusinowitch, Mathieu Turuani
2003Theoretical Computer Science172 citations Open access
Semantic Scholar
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
Yannick Chevalier, Ralf Küsters, M. Rusinowitch, Mathieu Turuani
2003Foundations of Software Technology and Theoretical Computer Science129 citations Open access
Semantic Scholar
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
Anupam Datta, Ante Derek, J. Mitchell, V. Shmatikov +1 more
2005International Colloquium on Automata, Languages and Programming100 citations
Semantic Scholar
The AVISS Security Protocol Analysis Tool
A. Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier +6 more
2002International Conference on Computer Aided Verification76 citations Open access
Semantic Scholar
Compositional analysis of contract signing protocols
M. Backes, Anupam Datta, Ante Derek, J. Mitchell +1 more
200518th IEEE Computer Security Foundations Workshop (CSFW'05)53 citations Open access
Semantic Scholar
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif
V. Cheval, V. Cortier, Mathieu Turuani
2018IEEE Computer Security Foundations Symposium48 citations Open access
Semantic Scholar
A Formal Analysis of the Neuchatel e-Voting Protocol
V. Cortier, David Galindo, Mathieu Turuani
2018European Symposium on Security and Privacy40 citations Open access
Semantic Scholar
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta +18 more
2012International Conference on Tools and Algorithms for Construction and Analysis of Systems29 citations Open access
Semantic Scholar
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
Yannick Chevalier, Ralf Küsters, M. Rusinowitch, Mathieu Turuani +1 more
2003Annual Conference for Computer Science Logic27 citations
Semantic Scholar
On the expressivity and complexity of quantitative branching-time temporal logics
F. Laroussinie, P. Schnoebelen, Mathieu Turuani
2000Theoretical Computer Science24 citations Open access
Semantic Scholar
Deciding the Security of Protocols with Commuting Public Key Encryption
Yannick Chevalier, Ralf Küsters, M. Rusinowitch, Mathieu Turuani
2004ARSPA@IJCAR20 citations Open access
Semantic Scholar
Validating Integrity for the Ephemerizer's Protocol with CL-Atse
C. Arora, Mathieu Turuani
2009Formal to Practical Security16 citations
Semantic Scholar
Automated Verification of Electrum Wallet
Mathieu Turuani, Thomas Voegtlin, M. Rusinowitch
2016Financial Cryptography Workshops15 citations
Semantic Scholar
Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability
Mikael Bougon, H. Chabanne, V. Cortier, Alexandre Debant +4 more
2022Conference on Computer and Communications Security13 citations Open access
Semantic Scholar
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
Yannick Chevalier, Ralf Küsters, M. Rusinowitch, Mathieu Turuani
2008TOCL13 citations
Semantic Scholar
Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
Najah Chridi, Mathieu Turuani, Michaël Rusinowitch
2009IEEE Computer Security Foundations Symposium12 citations
Semantic Scholar
Verifiability Analysis of CHVote
David Bernhard, V. Cortier, P. Gaudry, Mathieu Turuani +1 more
2018IACR Cryptology ePrint Archive11 citations
Semantic Scholar
A simple alternative to Benaloh challenge for the cast-as-intended property in Helios/Belenios
V. Cortier, Jannik Dreier, P. Gaudry, Mathieu Turuani
20199 citations
Semantic Scholar
Implementing a Unification Algorithm for Protocol Analysis with XOR
Max Tuengerthal, Ralf Küsters, Mathieu Turuani
2006arXiv.org9 citations
Semantic Scholar
Ballot stuffing in a postal voting system
V. Cortier, Jérémie Detrey, P. Gaudry, F. Sur +3 more
20112011 International Workshop on Requirements Engineering for Electronic Voting Systems8 citations Open access
Semantic Scholar
Satisfiability of general intruder constraints with a set constructor
Tigran Avanesov, Yannick Chevalier, M. Rusinowitch, Mathieu Turuani
2010Crisis8 citations Open access
Semantic Scholar
Distributed Orchestration of Web Services under Security Constraints
Tigran Avanesov, Yannick Chevalier, M. Mekki, M. Rusinowitch +1 more
2011DPM/SETOP7 citations Open access
Semantic Scholar
Satisfiability of General Intruder Constraints with and without a Set Constructor
Tigran Avanesov, Yannick Chevalier, M. Rusinowitch, Mathieu Turuani
2011Journal of symbolic computation5 citations Open access
Semantic Scholar
Constraints-based Verification of Parameterized Cryptographic Protocols.
Najah Chridi, Mathieu Turuani, M. Rusinowitch
20085 citations
Semantic Scholar
Intruder deducibility constraints with negation. Decidability and application to secured service compositions
Tigran Avanesov, Yannick Chevalier, M. Rusinowitch, Mathieu Turuani
2012Journal of symbolic computation4 citations Open access
Semantic Scholar
Towards Formal Validation of Trust and Security in the Internet of Services
R. Carbone, M. Minea, S. Mödersheim, S. E. Ponta +2 more
2011Future Internet Assembly4 citations Open access
Semantic Scholar
Satis ability of General Intruder Constraints with and without a Set Constructor
Tigran Avanesov, Yannick Chevalier, M. Rusinowitch, Mathieu Turuani
20104 citations
Semantic Scholar
Adding Integrity to the Ephemerizer's Protocol
C. Arora, Mathieu Turuani
20064 citations
Semantic Scholar
On the Synthesis of Secure Services Composition
José Antonio Martín, F. Martinelli, I. Matteucci, E. Pimentel +1 more
2014Engineering Secure Future Internet Services and Systems3 citations
Semantic Scholar
Towards the Orchestration of Secured Services under Non-disclosure Policies
Tigran Avanesov, Yannick Chevalier, M. Rusinowitch, Mathieu Turuani
2012Mathematical Methods, Models, and Architectures for Network Security Systems3 citations Open access
Semantic Scholar
Towards a Constrained-based Verification of Parameterized Cryptographic Protocols
Najah Chridi, Mathieu Turuani, M. Rusinowitch
20083 citations
Semantic Scholar
The AVISS Se urity Proto ol Analysis Tool ?
A. Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier +5 more
20022 citations
Semantic Scholar
Computationally Sound Compositional Logic for Security Protocols
Anupam Datta, Ante Derek, J. Mitchell, Arnab Roy +3 more
20061 citations
Semantic Scholar
Validation of the ASW Contract Signing Protocol
Mathieu Turuani, H. Vu-Van
20051 citations
Semantic Scholar
New Results - Verification of Collaborative Systems
W. Belkhir, M. Rusinowitch, Mathieu Turuani, L. Vigneron +4 more
20140 citations
Semantic Scholar
New Software and Platforms - Protocol Verification Tools
V. Cortier, Stéphane Glondu, Pierre-Cyrille Héam, O. Kouchnarenko +4 more
20140 citations
Semantic Scholar
The AVISS Se urity Proto ol Analysis Tool ?
Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier +5 more
20130 citations
Semantic Scholar
Decidability and
Tigran Avanesov, Yannick Chevalier, M. Rusinowitch, Mathieu Turuani
20120 citations
Semantic Scholar
Verifying a bounded number of sessions and its complexity
Michaël Rusinowitch, Mathieu Turuani
2011Formal Models and Techniques for Analyzing Security Protocols0 citations
Semantic Scholar
New Results - Security Protocol Verification
V. Cortier, M. Rusinowitch, Mathieu Turuani, Heinrich Hördegen +6 more
20060 citations
Semantic Scholar
Analysis of Contract Signing Protocols
Mathieu Turuani
20050 citations
Semantic Scholar
Combining approaches for the security of infinite state systems
M. Rusinowitch, F. Bellegarde, S. Drouot, A. Prévost +29 more
20050 citations
Semantic Scholar
Deciding insecurity for non-atomic keys
M. Rusinowitch, Mathieu Turuani
20010 citations
Semantic Scholar
Towards a Constrained-based Veriﬁcation of Parameterized Cryptographic Protocols
Najah Chridi, Mathieu Turuani, M. Rusinowitch
0 citations
Semantic Scholar
Design of an Eﬀicient Distributed Delivery Service for Group Key Agreement Protocols
Ludovic Paillat, C. Ignat, Davide Frey, Mathieu Turuani +1 more
0 citations
Semantic Scholar