Yannick Carlinet < Yannick Chevalier < Yannick Darcy

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 47.
[0-20] [0 - 20][0 - 47][20-40]

Ident.	Authors (with country if any)	Title
000252 (2004)	Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Jacopo Mantovani ; Sebastian Moedersheim ; Laurent Vigneron	A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
000253 (2004)	Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Jacopo Mantovani ; Sebastian Moedersheim ; Laurent Vigneron	A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
000284 (2009-10-19)	Philippe Balbiani ; Yannick Chevalier ; Marwa El-Houri	A Logical Framework for Reasoning about Policies with Trust Negotiations and Workflows in a Distributed Environment
000469 (2004)	Yannick Chevalier	A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
000470 (2004-07)	Yannick Chevalier	A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
000546 (2001)	Yannick Chevalier ; Laurent Vigneron	A Tool for Lazy Verification of Security Protocols
000D21 (2003)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	An NP Decision Procedure for Protocol Insecurity with XOR
000D22 (2005)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	An NP Decision Procedure for Protocol Insecurity with XOR
000D23 (2003-06-22)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	An NP Decision Procedure for Protocol Insecurity with XOR
001072 (2012-03)	Yannick Chevalier ; Mounira Kourjieh	Automated Synthesis of a Finite Complexity Ordering for Saturation
001074 (2002)	Yannick Chevalier ; Laurent Vigneron	Automated Unbounded Verification of Security Protocols
001075 (2002)	Yannick Chevalier ; Laurent Vigneron	Automated Unbounded Verification of Security Protocols
001101 (2008-07-08)	Yannick Chevalier ; Mohammed Anis Mekki ; Michael Rusinowitch	Automatic Composition of Services with Security Policies
001582 (2005)	Yannick Chevalier ; Michaël Rusinowitch	Combining Intruder Theories
001680 (2010)	Yannick Chevalier ; Michael Rusinowitch	Compiling and securing cryptographic protocols
001681 (2009)	Yannick Chevalier ; Michael Rusinowitch	Compiling and securing cryptographic protocols
001705 (2008)	Yannick Chevalier ; Ralf Kuesters ; Michael Rusinowitch ; Mathieu Turuani	Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
001A85 (2012)	Yannick Chevalier ; Michael Rusinowitch	Decidability of Equivalence of Symbolic Derivations
001B09 (2004-07-04)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	Deciding the Security of Protocols with Commuting Public Key Encryption.
001B10 (2003-12-15)	Yannick Chevalier ; Ralf Küsters ; Michaël Rusinowitch ; Mathieu Turuani	Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
001D06 (2011-09-15)	Tigran Avanesov ; Yannick Chevalier ; Mohammed Anis Mekki ; Michael Rusinowitch ; Mathieu Turuani	Distributed Orchestration of Web Services under Security Constraints

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Yannick Chevalier" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Yannick Chevalier" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Yannick Chevalier
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022