%0 Thesis %1 phd/hal/Scerri15 %A Scerri, Guillaume %D 2015 %K dblp %T Proofs of security protocols revisited. (Les preuves de protocoles cryptographiques revisitées).

@phdthesis{phd/hal/Scerri15, added-at = {2020-07-21T00:00:00.000+0200}, author = {Scerri, Guillaume}, biburl = {https://www.bibsonomy.org/bibtex/26801f2c80855f8b6ed03379eb6cc69c8/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01157230}, interhash = {3b234e208976d6ce7429d68500f8b8dd}, intrahash = {6801f2c80855f8b6ed03379eb6cc69c8}, keywords = {dblp}, school = {École normale supérieure de Cachan, France}, timestamp = {2020-07-24T00:56:18.000+0200}, title = {Proofs of security protocols revisited. (Les preuves de protocoles cryptographiques revisitées).}, year = 2015 }