Probabilistic polynomial-time equivalence and security analysis (1999)

by P Lincoln, J Mitchell, M Mitchell, A Scedrov
Venue:In Proceedings of Formal Methods’99, Springer LNCS 1708