Logics for Reasoning about Cryptographic Constructions (2003)

Cached

Download Links

by Russell Impagliazzo , Bruce M. Kapron
Venue:In Proc. 44th IEEE Symposium on Foundations of Computer Science
Citations:25 - 1 self

Document Versions

Logics for Reasoning about Cryptographic Constructions –Russell Impagliazzo, Bruce M. Kapron — 2003 — In Proc. 44th IEEE Symposium on Foundations of Computer Science