PROJECT TITLE :

Automated Proof and Flaw-Finding Tools in Cryptography

ABSTRACT:

Current trends like cloud computing, smartphones, and therefore the Internet of Things are making a growing need for security that can be provided by cryptography. Thence, developers are now required to implement cryptography without essentially developing the experience needed to do it securely, that can offer rise to automated cryptographic analysis.