Logics for Reasoning about Cryptographic Constructions (2003)
by
Russell Impagliazzo
,
Bruce M. Kapron
| Venue: | In Proc. 44th IEEE Symposium on Foundations of Computer Science |
| Citations: | 24 - 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 |
