@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@phdthesis{kremer-HDR11,
author = {Kremer, Steve},
month = mar,
school = {{\'E}cole Normale Sup{\'e}rieure de Cachan, France},
type = {M{\'e}moire d'habilitation},
title = {Modelling and analyzing security protocols in
cryptographic process calculi},
year = {2011},
nmonth = {3},
url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/hdr-SK.pdf},
}