Skip to content

Probabilistic Polynomial-Time Equivalence and Security Analysis.

Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov

VenueBFM
Year1999
ProceedingsWorld Congress on Formal Methods

Browse the full FM paper archive.