Mathieu Turuani - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2022

Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial AccountabilityMikael Bougon, Hervé Chabanne, Véronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani. ccs 2022: 397-410 [doi]

2018

2017

Intruder deducibility constraints with negation. Decidability and application to secured service compositionsTigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani. JSC, 80:4-26, 2017. [doi]

Satisfiability of general intruder constraints with and without a set constructorTigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani. JSC, 80:27-61, 2017. [doi]

2016

Automated Verification of Electrum WalletMathieu Turuani, Thomas Voegtlin, Michaël Rusinowitch. fc 2016: 27-42 [doi]

2014

On the Synthesis of Secure Services CompositionJosé Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani. In Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli, editors, Engineering Secure Future Internet Services and Systems - Current Research. Volume 8431 of Lecture Notes in Computer Science, pages 140-159, Springer, 2014. [doi]

2012

2011

Distributed Orchestration of Web Services under Security ConstraintsTigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani. esorics 2012: 235-252 [doi]

Towards Formal Validation of Trust and Security in the Internet of ServicesRoberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò. fia 2011: 193-208 [doi]

Ballot stuffing in a postal voting systemVéronique Cortier, Jérémie Detrey, Pierrick Gaudry, Frédéric Sur, Emmanuel Thomé, Mathieu Turuani, Paul Zimmermann. RE 2011: 27-36 [doi]

Verifying a bounded number of sessions and its complexityMichaël Rusinowitch, Mathieu Turuani. In Véronique Cortier, Steve Kremer, editors, Formal Models and Techniques for Analyzing Security Protocols. Volume 5 of Cryptology and Information Security Series, pages 13-34, IOS Press, 2011. [doi]

2010

Satisfiability of general intruder constraints with a set constructorTigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani. crisis 2010: 1-8 [doi]

2009

Validating Integrity for the Ephemerizer s Protocol with CL-AtseCharu Arora, Mathieu Turuani. psec 2009: 21-32 [doi]

Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded ListsNajah Chridi, Mathieu Turuani, MichaÃ«l Rusinowitch. csfw 2009: 277-289 [doi]

2008

Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryptionYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. tocl, 9(4), 2008. [doi]

2006

Compositional analysis of contract-signing protocolsMichael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. TCS, 367(1-2):33-56, 2006. [doi]

The CL-Atse Protocol AnalyserMathieu Turuani. RTA 2006: 277-286 [doi]

2005

Compositional Analysis of Contract Signing ProtocolsMichael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. csfw 2005: 94-110 [doi]

An NP decision procedure for protocol insecurity with XORYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. TCS, 338(1-3):247-274, 2005. [doi]

Deciding the Security of Protocols with Commuting Public Key EncryptionYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. ENTCS, 125(1):55-66, 2005. [doi]

Probabilistic Polynomial-Time Semantics for a Protocol Security LogicAnupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani. icalp 2005: 16-29 [doi]

2003

Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in ExponentsYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. fsttcs 2003: 124-135 [doi]

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of SessionsYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron. csl 2003: 128-141 [doi]

An NP Decision Procedure for Protocol Insecurity with XORYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. lics 2003: 261-270 [doi]

On the expressivity and complexity of quantitative branching-time temporal logicsFrançois Laroussinie, Ph. Schnoebelen, Mathieu Turuani. TCS, 297(1-3):297-315, 2003. [doi]

Protocol insecurity with a finite number of sessions, composed keys is NP-completeMichaël Rusinowitch, Mathieu Turuani. TCS, 1-3(299):451-475, 2003. [doi]

Sécurité des protocoles cryptographiques : décidabilité et complexitéMathieu Turuani. PhD thesis, Henri Poincaré University, Nancy, France, 2003. [doi]

2002

The AVISS Security Protocol Analysis ToolAlessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron. cav 2002: 349-353 [doi]

2001

Protocol Insecurity with Finite Number of Sessions is NP-CompleteMichaël Rusinowitch, Mathieu Turuani. csfw 2001: 174 [doi]

2000

On the Expressivity and Complexity of Quantitative Branching-Time Temporal LogicsFrançois Laroussinie, Ph. Schnoebelen, Mathieu Turuani. latin 2000: 437-446

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Mathieu Turuani'

Viewing Publication 1 - 34 from 34

2022

2018

2017

2016

2014

2012

2011

2010

2009

2008

2006

2005

2003

2002

2001

2000

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Mathieu Turuani'

Viewing Publication 1 - 34 from 34

2022

2018

2017

2016

2014

2012

2011

2010

2009

2008

2006

2005

2003

2002

2001

2000

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1