Véronique Cortier (LORIA, CNRS, Nancy)
  
  VERIFICATION TECHNIQUES FOR CRYPTOGRAPHIC PROTOCOLS
  ----------------------------------------------------------------------

  Security protocols are short programs aiming at securing
  communications over a network. They are widely used in our everyday
  life. Their verification using symbolic models has shown its interest
  for detecting attacks and proving security properties. In particular,
  several automatic tools have been developed.

  In this talk, we will review results and techniques that allow
  automatic analysis of security protocols. We will see in particular
  how rewriting systems are used for reflecting algebraic properties
  of the cryptographic primitives used in protocols.