Yannick Chevalier

Publications

1.1K

Citations

H-Index

1978

Active since

Affiliations

Institut de Recherche en Informatique de Toulouse(Current)

Institut national de recherche en sciences et technologies du numérique

Université Toulouse III - Paul Sabatier

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Université de Lorraine

Yannick Chevalier is an author at Institut de Recherche en Informatique de Toulouse specializing in engineering, formal verification, and hardware security.

ORCID

Top concepts

EngineeringFormal VerificationCryptographyComputer ScienceHardware SecurityData SecurityFormal MethodsInformation SecurityData PrivacyVerification

Publications per year

1978–2020

Publications

Clinical features and prognostic factors of listeriosis: the MONALISA national prospective cohort study

Caroline Charlier, Élodie Perrodeau, Alexandre Leclercq et al. · The Lancet Infectious Diseases · 2017 · 556 citations · Full text

Prognostic Factors, Foodborne Illness, Clinical Features +6

A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols

Yannick Chevalier, Luca Compagna, Jorge Cuéllar et al. · 2004 · 143 citations · Full text

An NP decision procedure for protocol insecurity with XOR

Yannick Chevalier, Ralf Küsters, M. Rusinowitch et al. · 2003 · 136 citations

Cryptographic Primitive, Engineering, Information Security +18

A tool for lazy verification of security protocols

Yannick Chevalier, Laurent Vigneron · 2005 · 42 citations

Cryptographic Primitive, Engineering, Verification +20

An NP decision procedure for protocol insecurity with XOR

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch et al. · Theoretical Computer Science · 2005 · 40 citations

Hardware Security, Engineering, Information Security +9

Rows per page

1–5 of 18