Mathieu Turuani

39 papers A* 5A 4B 2C 1Journal 12Unranked 12

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