Mathieu Turuani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
11
Active years
2000–2022
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CCS | Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. | Mikael Bougon, Herv Chabanne, Vronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani |
| 2016 | FC | Automated Verification of Electrum Wallet. | Mathieu Turuani, Thomas Voegtlin, Michal Rusinowitch |
| 2012 | TACAS | 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 Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2011 | ESORICS | Distributed Orchestration of Web Services under Security Constraints. | Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michal Rusinowitch, Mathieu Turuani |
| 2011 | RE | Ballot stuffing in a postal voting system. | Vronique Cortier, Jrmie Detrey, Pierrick Gaudry, Frdric Sur, Emmanuel Thom, Mathieu Turuani, Paul Zimmermann |
| 2010 | CRiSIS | Satisfiability of general intruder constraints with a set constructor. | Tigran Avanesov, Yannick Chevalier, Michal Rusinowitch, Mathieu Turuani |
| 2005 | CAV | 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 Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2005 | ICALP | Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. | Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani |
| 2003 | CSL | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. | Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani, Laurent Vigneron |
| 2003 | LICS | An NP Decision Procedure for Protocol Insecurity with XOR. | Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani |
| 2002 | CAV | The AVISS Security Protocol Analysis Tool. | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mdersheim, Michal Rusinowitch, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2000 | LATIN | On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. | Franois Laroussinie, Philippe Schnoebelen, Mathieu Turuani |