Bridging the gap: Formal vs. Complexity-Theoretical Reasoning about Cryptography
Dagstuhl Seminar Reports. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2000 S. 10
Erscheinungsjahr: 2000
ISBN/ISSN: 0940-1121
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.4230/DagSemRep.294