Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk)

Domaines

Informatique [cs]

Stéphanie Delaune  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01906649

Soumis le : samedi 27 octobre 2018-11:20:42

Dernière modification le : vendredi 24 mars 2023-14:53:08

Fichier non déposé

Dates et versions

hal-01906649 , version 1 (27-10-2018)

Identifiants

  • HAL Id : hal-01906649 , version 1

Citer

Stéphanie Delaune. Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk). 3rd International Conference on Formal Structures for Computation and Deduction, 2018, Oxford, United Kingdom. ⟨hal-01906649⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC IRISA-D1 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
28 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More