Boaz Barak
Más información
- Afiliación
- Harvard University
- Conocido por
- La imposibilidad de la ofuscación
Primer autor del artículo que demostró que la ofuscación perfecta de código es imposible y que, de paso, definió la variante más débil que acabaría siendo una de las grandes preguntas de la criptografía.
"On the (Im)possibility of Obfuscating Programs" (2001) lo firmaron Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan y Ke Yang. Construyeron programas que no se pueden ofuscar hasta convertirlos en cajas negras, por ingenioso que sea el ofuscador. Quien venda ofuscación "irrompible" tiene, por tanto, un problema matemático.
El artículo introdujo también la indistinguishability obfuscation, que no tuvo una construcción candidata hasta 2013 y desde entonces se trata como una especie de herramienta universal. Barak escribió además con Sanjeev Arora el manual Computational Complexity: A Modern Approach (2009).