author-photo

Mathieu Turuani

French Institute for Research in Computer Science and Automation

53

Papers

2252

Citations

Citation Trend

Filter By

Papers (35) Sort By

Journal Conference Others

Verifiability Analysis of CHVote.

2018 IACR Cryptology ePrint Archive
Show All
- Source
- Cite
- Save
Citations (2)
A Formal Analysis of the Neuchatel e-Voting Protocol

2018 EUROS&P | IEEE European Symposium on Security and Privacy
Show All
- Source
- Cite
- Save
Citations (1)
Intruder deducibility constraints with negation. Decidability and application to secured service compositions

2017 Journal of Symbolic Computation
Show All
- Source
- Cite
- Save
Citations (5)
Intruder deducibility constraints with negation. Decidability and application to secured service compositions

2017 Journal of Symbolic Computation
Show All
- Source
- Cite
- Save
Citations (0)
A formal analysis of the Neuchâtel e-voting protocol

2017 EUROS&P | IEEE European Symposium on Security and Privacy
Show All
- Source
- Cite
- Save
Citations (9)
Automated Verification of Electrum Wallet

2016 FC | Financial Cryptography
Show All
- Source
- Cite
- Save
Citations (13)
New Software and Platforms - Protocol Verification Tools

2015
Show All
- Source
- Cite
- Save
Citations (0)
New Results - Verification of Collaborative Systems

2015
Show All
- Source
- Cite
- Save
Citations (0)
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures

2012 TACAS | Tools and Algorithms for Construction and Analysis of Systems
Show All
- Source
- Cite
- Save
Citations (89)
Intruder deducibility constraints with negation. Decidability and application to secured service compositions

2012 arXiv: Cryptography and Security
Show All
- Source
- Cite
- Save
Citations (2)