Computational Soundness of Formal Indistinguishability and Static Equivalence.

Gergei Bana Payman Mohassel Till Stegers

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

Keyphrases

equivalence relation
database
data sets
ctl model update
learning algorithm
decision trees
computational models
mathematical programming
computational power