"Automated Cryptocode Generator Is Helping Secure the Web"

Researchers at Massachusetts Institute of Technology (MIT) presented a paper at the recent IEEE Symposium on Security and Privacy in which they gave details about an automated cryptocode generator that they have developed. The mathematical algorithms ran by cryptographic protocols used in the security of online communications are written and rewritten by a group of experts. This manual process can result in the production of nonoptimal algorithms and the introduction of bugs due to human errors. Therefore, MIT researchers developed Fiat Cryptography, a system that will automatically generate and verify optimized cryptographic algorithms. This article continues to discuss the purpose, development, and use of the Fiat Cryptography system. 

EurekAlert! reports "Automated Cryptocode Generator Is Helping Secure the Web"