Mathieu Turuani

Available identifiers

zbMath Open turuani.mathieuMaRDI QIDQ507347

List of research outcomes

Publication	Date of Publication	Type
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption	2017-07-12	Paper
Intruder deducibility constraints with negation. Decidability and application to secured service compositions	2017-02-06	Paper
Satisfiability of general intruder constraints with and without a set constructor	2017-02-06	Paper
Deciding the security of protocols with commuting public key encryption	2013-09-25	Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science	2009-08-06	Paper
The CL-Atse Protocol Analyser	2008-09-25	Paper
Computer Science Logic	2007-06-21	Paper
Compositional analysis of contract-signing protocols	2007-01-09	Paper
Automata, Languages and Programming	2006-01-10	Paper
An NP decision procedure for protocol insecurity with XOR	2005-06-30	Paper
Protocol insecurity with a finite number of sessions and composed keys is NP-complete.	2003-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4804908	2003-05-01	Paper

Research outcomes over time

This page was built for person: Mathieu Turuani