Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Cortier-Kremer-Kusters-Warinschi/06"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Computationally sound symbolic secrecy in the presence of hash functions Publikation auswählen
Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi

Proceedings of the 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2006 (Kolkata, India, December 13-15, 2006)
Lecture Notes in Computer Science 4337 , 2006, pp. 176-187

Editors  S. Arun-Kumar, Naveen Garg
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://dx.doi.org/10.1007/11944836_18