@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@phdthesis{HDR-CORTIER-2009,
  author =        {Cortier, V{\'e}ronique},
  month =         nov,
  school =        {Institut National Polytechnique de Lorraine},
  type =          {Habilitation \`a diriger des recherches (Habilitation to conduct research)},
  title =         {Analysis of cryptographic protocols: from symbolic to computational models},
  year =          {2009},
}