Logics for Reasoning about Cryptographic Constructions.

Russell Impagliazzo, Bruce M. Kapron

Browse the full FOCS paper archive.