A Probabilistic Poly-Time Framework for Protocol Analysis.

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

Browse the full CCS paper archive.