Logics for reasoning about cryptographic constructions (2003)

by R Impagliazzo, B M Kapron
Venue:In Proc. FOCS