Automated Proofs for Computational Indistinguishability.

Long Ngo Colin Boyd Juan Manuel González Nieto

Published in: Comput. J. (2014)

Keyphrases

computer aided
theorem prover
semi automated
automated theorem provers
fully automated
encryption scheme
bayesian networks
relational databases
computational models
theorem proving