Proved Implementations of Cryptographic Protocols in the Computational Model. (Implémentations de protocoles cryptographiques prouvées dans le modèle calculatoire).
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Cade13
%A Cadé, David
%D 2013
%K
%T Proved Implementations of Cryptographic Protocols in the Computational Model. (Implémentations de protocoles cryptographiques prouvées dans le modèle calculatoire).
@phdthesis{phd/hal/Cade13,
added-at = {2023-12-12T19:14:07.000+0100},
author = {Cadé, David},
biburl = {https://www.bibsonomy.org/bibtex/251b45c052d84c62f50467c12e8448f10/admin},
ee = {https://tel.archives-ouvertes.fr/tel-01112630},
interhash = {1db09853bcc021bb8a6ebcc5817b0368},
intrahash = {51b45c052d84c62f50467c12e8448f10},
keywords = {},
school = {Paris Diderot University, France},
timestamp = {2023-12-12T19:14:07.000+0100},
title = {Proved Implementations of Cryptographic Protocols in the Computational Model. (Implémentations de protocoles cryptographiques prouvées dans le modèle calculatoire).},
year = 2013
}