B.M.: Logics for reasoning about cryptographic constructions (2003)

by R Impagliazzo, Kapron
Venue:In: Proceedings of FOCS