Malleable Proof Systems and Applications.

Melissa Chase Markulf Kohlweiss Anna Lysyanskaya Sarah Meiklejohn

Published in: IACR Cryptol. ePrint Arch. (2012)

Keyphrases

complex systems
machine learning
distributed systems
data sets
information retrieval
metadata
three dimensional
objective function
learning environment
management system
theorem prover
systems require