PROJECT TITLE :
Automated Proof and Flaw-Finding Tools in Cryptography
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.
Did you like this research project?
To get this research project Guidelines, Training and Code... Click Here