Yannick Chevalier

Available identifiers

zbMath Open chevalier.yannickMaRDI QIDQ437029

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
Parametrized automata simulation and application to service composition	2015-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2848035	2013-09-25	Paper
Decidability of equivalence of symbolic derivations	2012-07-17	Paper
Compiling and securing cryptographic protocols	2010-09-02	Paper
Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures	2010-03-10	Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science	2009-08-06	Paper
A Logical Approach to Dynamic Role-Based Access Control	2008-11-04	Paper
Hierarchical Combination of Intruder Theories	2008-09-25	Paper
Towards an Automatic Analysis of Web Service Security	2008-09-16	Paper
Verifying Cryptographic Protocols with Subterms Constraints	2008-05-15	Paper
Key Substitution in the Symbolic Analysis of Cryptographic Protocols	2008-04-24	Paper
Hierarchical combination of intruder theories	2008-04-16	Paper
Computer Science Logic	2007-06-21	Paper
Automata, Languages and Programming	2006-01-10	Paper
An NP decision procedure for protocol insecurity with XOR	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4804905	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804908	2003-05-01	Paper

Research outcomes over time

This page was built for person: Yannick Chevalier