Researchers are hailing the new work as a watershed moment for cryptography
As a graduate student at the Massachusetts Institute of Technology in 1996, Amit Sahai was fascinated by the strange notion of a “zero-knowledge” proof, a type of mathematical protocol for convincing someone that something is true without revealing any details of why it is true. As Sahai mulled over this counterintuitive concept, it led him to consider an even more daring notion: What if it were possible to mask the inner workings not just of a proof, but of a computer program, so that people could use the program without being able to figure out how it worked?
The idea of “obfuscating” a program had been around for decades, but no one had ever developed a rigorous mathematical framework for the concept, let alone created an unassailable obfuscation scheme. Over the years, commercial software companies have engineered various techniques for garbling a computer program so that it will be harder to understand while still performing the same function. But hackers have defeated every attempt. At best, these commercial obfuscators offer a “speed bump,” said Sahai, now a computer science professor at the University of California, Los Angeles. “An attacker might need a few days to unlock the secrets hidden in your software, instead of a few minutes.”
Secure program obfuscation would be useful for many applications, such as protecting software patches, obscuring the workings of the chips that read encrypted DVDs, or encrypting the software controlling military drones. More futuristically, it would allow people to create autonomous virtual agents that they could send out into the computing “cloud” to act on their behalf. If, for example, you were heading to a remote cabin in the woods for a vacation, you could create and then obfuscate a computer program that would inform your boss about emails you received from an important client, or alert your sister if your bank balance dropped too low. Your passwords and other secrets inside the program would be safe.
“You could send that agent into the computing wild, including onto untrusted computers,” Sahai said. “It could be captured by the enemy, interrogated, and disassembled, but it couldn’t be forced to reveal your secrets.”
As Sahai pondered program obfuscation, however, he and several colleagues quickly realized that its potential far surpassed any specific applications. If a program obfuscator could be created, it could solve many of the problems that have driven cryptography for the past 40 years — problems about how to conduct secure interactions with people at, say, the other end of an Internet connection, whom you may not know or trust.
“A program obfuscator would be a powerful tool for finding plausible constructions for just about any cryptographic task you could conceive of,” said Yuval Ishai, of the Technion in Haifa, Israel.
Precisely because of obfuscation’s power, many computer scientists, including Sahai and his colleagues, thought it was impossible. “We were convinced it was too powerful to exist,” he said. Their earliest research findings seemed to confirm this, showing that the most natural form of obfuscation is indeed impossible to achieve for all programs.
Then, on July 20, 2013, Sahai and five co-authors posted a paper on the Cryptology ePrint Archive demonstrating a candidate protocol for a kind of obfuscation known as “indistinguishability obfuscation.” Two days later, Sahai and one of his co-authors, Brent Waters, of the University of Texas, Austin, posted a second paper that suggested, together with the first paper, that this somewhat arcane form of obfuscation may possess much of the power cryptographers have dreamed of.
“This is the first serious positive result” when it comes to trying to find a universal obfuscator, said Boaz Barak, of Microsoft Research in Cambridge, Mass. “The cryptography community is very excited.” In the six months since the original paper was posted, more papers have appeared on the ePrint archive with “obfuscation” in the title than in the previous 17 years.
However, the new obfuscation scheme is far from ready for commercial applications. The technique turns short, simple programs into giant, unwieldy albatrosses. And the scheme’s security rests on a new mathematical approach that has not yet been thoroughly vetted by the cryptography community. It has, however, already withstood the first attempts to break it.
Researchers are hailing the new work as a watershed moment for cryptography. For many cryptographers, the conversation has shifted from whether obfuscation is possible to how to achieve it.
The Latest on: Cryptography
via Google News
The Latest on: Cryptography
- Toshiba to launch quantum cryptography services this yearon January 20, 2020 at 8:14 pm
TOKYO -- Toshiba is planning to launch quantum cryptography services in the U.S. by September, first targeting the financial and medical sectors as the company looks for a new way to drive growth.
- Toshiba planning to sell quantum cryptographyon January 20, 2020 at 7:26 pm
Japan's Toshiba Corporation plans to start offering customers a next-generation encryption technology by March next year. The aim is to commercialize so-called "quantum cryptography" in the United ...
- Authentication using public-key cryptography with NodeJS — Part 2on January 20, 2020 at 1:00 pm
This is part 2 of 2 part series. You can access Part 1 here. Before building the experiment what we want is a simple secure way to authenticate a user as we said before in Part 1 “we need to know that ...
- China Prepares for CBDC With Cryptography Law on Encryption Standardson January 20, 2020 at 10:46 am
On Jan. 1, China’s law governing cryptographic password management came into power. Essentially, the act aims to set standards for the application of cryptography and the management of passwords, and, ...
- An Open Source Effort to Encrypt the Internet of Thingson January 19, 2020 at 11:00 pm
But what if you could bring some version of that protection to increasingly ubiquitous—and notoriously insecure—Internet of Things devices? The Swiss cryptography firm Teserakt is trying just that.
- Proof-of-concept exploits for Microsoft Crypto bug releasedon January 18, 2020 at 10:00 am
Microsoft confirmed CVE-2020-0601 involves Windows CryptoAPI and says “a spoofing vulnerability exists in the way Windows CryptoAPI (Crypt32.dll) validates Elliptic Curve Cryptography (ECC) ...
- Quantum Cryptography Market - Report serves as a Repository of Analysis and Information for every Facet of the Market 2025on January 16, 2020 at 2:09 am
The report offers an unbiased opinion about the factors that likely to drive the global quantum cryptography market and restrain it. The study contains a brief profile of key players in the industry ...
- “A Skeleton Key”: NSA Warns Over Critical Microsoft Cryptography Bugon January 14, 2020 at 9:01 am
It affects a wide range of Windows 10 builds, Windows Server 2016 and Windows Server 2019. Microsoft said: “A spoofing vulnerability exists in the way Windows CryptoAPI (Crypt32.dll) validates ...
- Quantum Xchange Adds Post-Quantum Cryptography to Its Leading Quantum-Safe Key Management System Phio TXon January 14, 2020 at 5:00 am
/PRNewswire/ -- Quantum Xchange, a leading provider of secure communications for a quantum-safe world, today announced the availability of ...
- Japan test makes leap in quantum cryptography developmenton January 14, 2020 at 1:50 am
Toshiba Corp. and Tohoku University announced on Jan. 14 that they had achieved a world first in the use of quantum cryptography on such a large scale with transmitting encrypted data. As a result of ...
via Bing News