EE Seminar: Obfuscating Circuits via Composite-Order Graded Encoding

~~(The talk will be given in English)

Speaker:  Dr. Zvika Brakerski
Department of Computer Science and Applied Mathematics, Weizmann Institute
Monday, March 9th, 2015
15:00 - 16:00
Room 011, Kitot Bldg., Faculty of Engineering
Obfuscating Circuits via Composite-Order Graded Encoding
Abstract
Program obfuscation is one of the most sought-after goals in cryptography, and one that is very extensively researched in the last year and a half. An obfuscator is a compiler that takes a program (or a circuit), and outputs a program with an identical functionality, but one that is "impossible to reverse engineer" (various security notions exist). Garg et al. (FOCS 13) presented the first plausible candidate for general-purpose obfuscation, and conjectured that their construction satisfies the notion of "best possible" obfuscation.
In the talk, I will present an obfuscator that deviates from the paradigm of Garg et al. and subsequent works. Our obfuscator operates oncircuits directly without converting them into formulas or branching programs as was done in previous solutions, thus improving the complexity of the obfuscated program. This approach also makes the description of the obfuscator more straightforward and natural. As a building block, we use cryptographic Graded Encoding Schemes, a tool that had also been used in previous works, and provide proof in an idealized generic model.
The focus of the talk will be the construction of the obfuscator, starting from first principles. I will explain the definitions and security notions, and give intuition about security, but will not cover the actual proof.

Joint work with Benny Applebaum.

 

 

09 במרץ 2015, 15:00 
חדר 011, בניין כיתות-חשמל 
אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש
שנעשה בתכנים אלה לדעתך מפר זכויות, נא לפנות בהקדם לכתובת שכאן >>