Computationally Sound Symbolic Secrecy in the Presence of Hash Functions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006
Fichier non déposé

Dates et versions

inria-00108386 , version 1 (20-10-2006)

Identifiants

  • HAL Id : inria-00108386 , version 1

Citer

Véronique Cortier, Steve Kremer, Ralf Kuesters, Bogdan Warinschi. Computationally Sound Symbolic Secrecy in the Presence of Hash Functions. Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Dec 2006, Kolkata, India. ⟨inria-00108386⟩
114 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More