Probabilistic Polynomial-Time Equivalence and Security Analysis (1999)

by P. Lincoln , J. Mitchell , M. Mitchell , A. Scedrov
Venue:IN PROC. WORLD CONGRESS ON FORMAL METHODS, VOLUME 1708 OF LNCS
Citations:52 - 12 self