Communication Dans Un Congrès
Année : 2018
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
Dates et versions
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⟩
Collections
28
Consultations
0
Téléchargements