Stories
Slash Boxes
Comments

SoylentNews is people

posted by martyb on Thursday October 29 2015, @12:21PM   Printer-friendly
from the i20y dept.

"Indistinguishability obfuscation" is a powerful concept that would yield provably secure versions of every cryptographic system we've ever developed and all those we've been unable to develop. But nobody knows how to put it into practice.

Last week, at the IEEE Symposium on Foundations of Computer Science, MIT researchers showed that the problem of indistinguishability obfuscation is, in fact, a variation on a different cryptographic problem, called efficient functional encryption. And while computer scientists don't know how to do efficient functional encryption, either, they believe that they're close — much closer than they thought they were to indistinguishability obfuscation.

Theorists quickly proved that ideal obfuscation would enable almost any cryptographic scheme that they could dream up. But almost as quickly, they proved that it was impossible: There's always a way to construct a program that can't be perfectly obfuscated.

For years, the idea of indistinguishability obfuscation lay idle. But in the last few years, computer scientists have shown how to construct indistinguishability-obfuscation schemes from mathematical objects called multilinear maps. Remarkably, they also showed that even the weaker notion of indistinguishability obfuscation could yield all of cryptography.

http://scienceblog.com/80939/is-a-new-basis-for-all-cryptography-at-hand/

[Also Covered By]: http://phys.org/news/2015-10-basis-cryptography.html

[Source]: http://news.mit.edu/2015/secure-foundation-any-cryptographic-system-1028

[Paper]: https://eprint.iacr.org/2015/163.pdf [PDF]


Original Submission

 
This discussion has been archived. No new comments can be posted.
Display Options Threshold/Breakthrough Mark All as Read Mark All as Unread
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
  • (Score: 3, Informative) by pasky on Thursday October 29 2015, @01:56PM

    by pasky (1050) on Thursday October 29 2015, @01:56PM (#256013)

    It is very active research topic, even if just a few years old. Many fresh research topics have no Wikipedia pages, even some specialized research topics that are fairly old have atrocious Wikipedia coverage. If the situation is better in some areas of mathematics, congratulations, but in computer science this is commonly the case. But if you just google the phrase, you'll see a ton of papers on the topic in the last ~3-4 years, often with many citations. The seminal work in the area is https://eprint.iacr.org/2013/451.pdf [iacr.org] right now, maybe a good place to start.

    (N.B. this is more of theoretical computer science than mathematics. But don't they blur...)

    Starting Score:    1  point
    Moderation   +2  
       Informative=2, Total=2
    Extra 'Informative' Modifier   0  

    Total Score:   3