Automated Proof and Flaw-Finding Tools in Cryptography

Current trends such as cloud computing, smartphones, and the Internet of Things are creating a growing need for security that will be provided by cryptography. As a result, developers are now required to implement cryptography without necessarily developing the expertise needed to do it securely, which will give rise to automated cryptographic analysis.