Logics for Reasoning about Cryptographic Constructions (2003)

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