Boaz Barak
Daha fazla bilgi
- Bağlı kurum
- Harvard Üniversitesi
- Bilinen işi
- Obfuskasyonun imkânsızlığı
Kusursuz kod obfuskasyonunun imkânsız olduğunu kanıtlayan makalenin baş yazarı; aynı makale, sonradan kriptografinin en çok konuşulan sorularından biri olacak daha zayıf kavramı da tanımladı.
"On the (Im)possibility of Obfuscating Programs" (2001) makalesini Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan ve Ke Yang yazdı. Obfuskatör ne kadar zekî olursa olsun, kara kutuya dönüştürülemeyen programlar kurdular. Yani "kırılamaz" kod karıştırma satan herkesin matematiksel bir sorunu var; bkz. obfuskasyon.
Makale ayrıca ayırt edilemezlik obfuskasyonunu tanıttı; ilk aday yapısı ancak 2013'te çıktı ve o günden beri bir tür evrensel araç sayılıyor. Barak ayrıca Sanjeev Arora ile Computational Complexity: A Modern Approach (2009) ders kitabını yazdı.