Automatic cryptocoder
Nearly every time you open a secure Google Chrome browser, a new cryptographic system developed at MIT’s Computer Science and AI Lab (CSAIL) is helping protect your data.
To secure online communications, cryptographic protocols run algorithms that do some complex arithmetic on large numbers. Behind the scenes, however, a small group of experts write and rewrite those algorithms by hand, weighing various mathematical techniques and chip architectures to optimize for performance. When these underlying factors change, the researchers essentially start over from scratch—a labor-intensive process. The resulting algorithms may not be optimal and often have bugs that must be caught and fixed.
Fiat Cryptography, developed by Adam Chlipala’s Programming Languages and Verification group at CSAIL, automatically generates optimized cryptographic algorithms for all hardware platforms—and mathematically verifies them at the same time. Tests showed that its algorithms match the performance of the best handwritten code, but they’re produced much faster.
The automatically generated code has populated Google’s BoringSSL, an open-source cryptographic library. Chrome and Android apps use the library to generate various keys needed to encrypt and decrypt data. Today about 90% of secure Chrome communications run Fiat Cryptography code.
Keep Reading
Most Popular
Large language models can do jaw-dropping things. But nobody knows exactly why.
And that's a problem. Figuring it out is one of the biggest scientific puzzles of our time and a crucial step towards controlling more powerful future models.
The problem with plug-in hybrids? Their drivers.
Plug-in hybrids are often sold as a transition to EVs, but new data from Europe shows we’re still underestimating the emissions they produce.
How scientists traced a mysterious covid case back to six toilets
When wastewater surveillance turns into a hunt for a single infected individual, the ethics get tricky.
Google DeepMind’s new generative model makes Super Mario–like games from scratch
Genie learns how to control games by watching hours and hours of video. It could help train next-gen robots too.
Stay connected
Get the latest updates from
MIT Technology Review
Discover special offers, top stories, upcoming events, and more.