Boaz Barak
Meer info
- Verbonden aan
- Harvard University
- Bekend van
- Onmogelijkheid van obfuscatie
Hoofdauteur van het artikel dat bewees dat perfecte code-obfuscatie onmogelijk is en daarbij in één adem het zwakkere begrip definieerde dat later een van de heetste vragen van de cryptografie werd.
"On the (Im)possibility of Obfuscating Programs" (2001) werd geschreven door Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan en Ke Yang. Ze construeerden programma's die niet tot zwarte dozen te obfusceren zijn, hoe slim de obfuscator ook is. Wie "onkraakbare" codeverhulling verkoopt, heeft dus een wiskundig probleem.
Het artikel introduceerde ook indistinguishability obfuscation, waarvoor pas in 2013 een eerste kandidaatconstructie kwam en dat sindsdien als een soort universeel gereedschap wordt gezien. Barak schreef met Sanjeev Arora ook het studieboek Computational Complexity: A Modern Approach (2009).