Boaz Barak
Mer info
- Verksam vid
- Harvard University
- Känd för
- Omöjlighetsresultatet för obfuskering
Förstaförfattare på artikeln som bevisade att perfekt kodförvrängning är omöjlig – och som i samma andetag definierade den svagare variant som senare blev en av kryptografins hetaste frågor.
"On the (Im)possibility of Obfuscating Programs" (2001) skrevs av Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan och Ke Yang. De konstruerade program som inte går att obfuskera så att de beter sig som svarta lådor, oavsett hur man bär sig åt. Den som säljer "okrossbar" kodförvrängning har alltså ett matematiskt problem.
Artikeln införde också indistinguishability obfuscation, som först 2013 fick en kandidatkonstruktion och sedan dess setts som en sorts universalverktyg. Barak har dessutom skrivit läroboken Computational Complexity: A Modern Approach (2009) tillsammans med Sanjeev Arora.