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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yannick Chevalier