Flat Cryptography in Chrome

Concept new to me, but interesting for making security more common.

Automated Cryptocode Generator Helps Secure the Web
MIT News
By Rob Matheson

Researchers at the Massachusetts Institute of Technology (MIT) have developed a system that automatically generates cryptography code that is normally written by hand. First deployed early last year, "Fiat Cryptography" is used by Google and other technology companies to automatically generate—and simultaneously verify—optimized cryptographic algorithms for all hardware platforms. During testing, the researchers found the system can generate algorithms that match the performance of the best handwritten code, but much faster. Said MIT researcher Adam Chlipala, "You can automatically explore the space of possible representations of the large numbers, compile each representation to measure the performance, and take whichever one runs fastest for a given scenario." ... '