%0 Thesis %1 phd/hal/Chretien16 %A Chrétien, Rémy %D 2016 %K %T Automated analysis of equivalence properties for cryptographic protocols. (Analyse automatique de propriétés d'équivalence pour les protocoles cryptographiques).

@phdthesis{phd/hal/Chretien16, added-at = {2023-12-13T00:32:27.000+0100}, author = {Chrétien, Rémy}, biburl = {https://www.bibsonomy.org/bibtex/2d74249094725bc885f8f9ba940b7f651/admin}, ee = {https://tel.archives-ouvertes.fr/tel-01277205}, interhash = {64cf9fa28ad5c827a03cc7ad43f6079f}, intrahash = {d74249094725bc885f8f9ba940b7f651}, keywords = {}, school = {University of Paris-Saclay, France}, timestamp = {2023-12-13T00:32:27.000+0100}, title = {Automated analysis of equivalence properties for cryptographic protocols. (Analyse automatique de propriétés d'équivalence pour les protocoles cryptographiques).}, year = 2016 }