CoSP: a general framework for computational soundness proofs.

Michael Backes Dennis Hofheinz Dominique Unruh

Published in: CCS (2009)

Keyphrases

real time
databases
data mining
machine learning
web pages
image processing
wide range
probabilistic model
computational tools
computationally tractable
formal proof