Communication Dans Un Congrès
Année : 2008
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00323195
Soumis le : vendredi 19 septembre 2008-16:41:03
Dernière modification le : jeudi 11 juillet 2024-14:32:03
Dates et versions
Identifiants
- HAL Id : inria-00323195 , version 1
Citer
Hubert Comon-Lundh, Véronique Cortier. Computational soundness of observational equivalence. 15th ACM Conference on Computer and Communications Security - CCS'08, Oct 2008, Alexandria, United States. ⟨inria-00323195⟩
Collections
97
Consultations
0
Téléchargements