CoSP: a general framework for computational soundness proofs.

Michael Backes, Dennis Hofheinz, Dominique Unruh

Browse the full CCS paper archive.