@PHDTHESIS{Bar:hdr,
title = {De la th\'eorie des types \`a la v\'erification formelles
des petits objets portables de s\'ecurit\'e},
author = {G. Barthe},
year = {2004},
school = {Universit\'e de Nice Sophia-Antipolis},
type = {Habilitation {\`a} Diriger des Recherches},
topics = {team}
}
@PHDTHESIS{JLL:hdr,
title = {Produire des logiciels s\^urs},
author = {J.-L. Lanet},
year = {2004},
school = {Universit\'e de Marseille},
type = {Habilitation {\`a} Diriger des Recherches},
topics = {team}
}
@PHDTHESIS{Catano:phd,
title = {Formal methods for Java Programs},
author = {N. Cata{\~n}o},
year = {2004},
school = {Universit\'e de Paris},
topics = {team}
}
@PHDTHESIS{Rezk:phd,
title = {Verification of confidentiality policies for mobile code},
author = {T. Rezk},
year = {2006},
school = {Universit\'e de Nice Sophia-Antipolis},
topics = {team}
}
@PHDTHESIS{Pavlova:phd,
title = {Specification and verification of Java bytecode},
author = {M. Pavlova},
year = {2007},
school = {Universit\'e de Nice Sophia-Antipolis},
topics = {team}
}
@PHDTHESIS{Tarento:phd,
title = {Formalisation en Coq de modeles cryptographiques et application au cryptosysteme ElGamal},
author = {S. Tarento},
year = {2006},
school = {Universit\'e de Nice Sophia-Antipolis},
topics = {team}
}
@PHDTHESIS{SouPhd,
author = {S. Melo de Sousa},
title = {Outils et techniques pour la v\'erification formelle de la plate-forme JavaCard},
school = {INRIA/Universidade de Nice-Sophia Antipolis},
year = {2003},
month = {February},
psurl = {http://www.di.ubi.pt/~desousa/tese.ps},
topics = { team,castles }
}