Skip to Content
77 Mass Ave

Automatic cryptocoder

A new system automatically creates optimized encryption algorithms for Google Chrome browsers and web apps.
August 21, 2019
Photo illustration of a computer keyboard and a key
Photo illustration of a computer keyboard and a key
Photo illustration of a computer keyboard and a keyUnsplash

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 scratcha 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 platformsand 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

AV2.0 autonomous vehicles adapt to unknown road conditions concept
AV2.0 autonomous vehicles adapt to unknown road conditions concept

The big new idea for making self-driving cars that can go anywhere

The mainstream approach to driverless cars is slow and difficult. These startups think going all-in on AI will get there faster.

biomass with Charm mobile unit in background
biomass with Charm mobile unit in background

Inside Charm Industrial’s big bet on corn stalks for carbon removal

The startup used plant matter and bio-oil to sequester thousands of tons of carbon. The question now is how reliable, scalable, and economical this approach will prove.

images created by Google Imagen
images created by Google Imagen

The dark secret behind those cute AI-generated animal images

Google Brain has revealed its own image-making AI, called Imagen. But don't expect to see anything that isn't wholesome.

AGI is just chatter for now concept
AGI is just chatter for now concept

The hype around DeepMind’s new AI model misses what’s actually cool about it

Some worry that the chatter about these tools is doing the whole field a disservice.

Stay connected

Illustration by Rose WongIllustration by Rose Wong

Get the latest updates from
MIT Technology Review

Discover special offers, top stories, upcoming events, and more.

Thank you for submitting your email!

Explore more newsletters

It looks like something went wrong.

We’re having trouble saving your preferences. Try refreshing this page and updating them one more time. If you continue to get this message, reach out to us at customer-service@technologyreview.com with a list of newsletters you’d like to receive.