Computational Soundness of Formal Indistinguishability and Static Equivalence.

Gergei Bana Payman Mohassel Till Stegers

Published in: ASIAN (2006)

Keyphrases

databases
neural network
database
evolutionary algorithm
formal methods
computational tools
information retrieval
website
bayesian networks
data structure
computational intelligence
rough sets
logic programs
computational power
encryption scheme
equivalence relation