Automated Proof and Flaw-Finding Tools in Cryptography.

Published in: IEEE Secur. Priv. (2015)

Keyphrases

automated theorem provers
learning systems
decision support
building blocks
computer aided
machine learning
multimedia
website
decision trees
bayesian networks
end users
computer assisted
user friendly