Cтраница про обфускацию

SPRINT Lab Obfuscation Project is started!

Представление индивидуальных тем в рамках проекта "Запутывание программ" [pdf]

Слайды - Саши Пименова (Java byte code) [ppt] и мои (представление проекта "Запутывание программ")
[pdf]

Ура!! Я дописал обзор - читайте и комментируйте! Тут уже вторая версия с исправленными опечатками[pdf].

Открытые вопросы и задачи по обфускации [pdf].

Библиография по обфускации здесь.

Ссылки на ма материалы, содержащие базовые понятия по криптографии и теории сложности.

• Статья про Alias analysis Ссылка.
• Введение в теорию компиляторов. Спецкурс (2004 года!!) с большим количеством материалов. Ссылка
• Введение в теорию компиляторов. Другой спецкурс (2003). Ссылка
• Введение в криптографию Ященко. Глава посвященная связи криптографии и теории сложности Ссылка
• Прикладная криптографию Шнайера.Есть глава о блочных шифрах Ссылка
• Курс по основам информатики Гирша. Ссылка
• Статья про обфускацию на русском в онлайне. Ссылка

Список статей по обфускации программ

Obfuscation page - страничка, посвященная разным on-line ресурсам этой тематики.

• Watermarking, Tamper-Proofing, and Obfuscation - Tools for Software Protection
  Christian Collberg, Clark Thomborson, (2000), Ссылка.
  
  Обзор различных методов защитной модификации кода.
  -----------------------------------------
• Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs
  Christian Collberg, Clark Thomborson, Douglas Low, (1998), Ссылка.
  
  Статья посвящена добавлению различных конструкций языка выского уровня (всяких if-ов) для усложнения анализа кода программы. Статья хорошо написана и легко читается. Знаний не требует.  Ответственный - Олег Артемов.
  -----------------------------------------
• General Method of Program Code Obfuscation
  Gregory Wroblewski, (2002), Ссылка.
  
  Очень короткая, но пока еще не до конца понятая статья. Ответственный - Дима Антипов.
  -----------------------------------------
• On the (Im)possibility of Obfuscating Programs
  Boaz Barak, Oded Goldreich, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil Vadhan and Ke Yang, (2001), Ссылка.
  
  Знаменитая статья устанавливающая понятие сектретности с помощью "черной коробки". Дано доказательство невозможности шифрования с идеальной сектреностью. Ответственный - Андрей Зайцев.
  -----------------------------------------
• Positive Results and Techniques for Obfuscation
  Benjamin Lynn, Manoj Prabhakaran, Amit Sahai(2004), Ссылка.
  
  Самая свежая статья - рассматривает защиту конкретных программ с помощью односторонних функций.
  -----------------------------------------
• Attacking an obfuscated cipher by injecting faults
  Matthias Jacob, Dan Boneh, and Edward Felten (2002), Ссылка.
  
  Метод атаки на один ищ ранее опубликованных способов обфускации блочного дешифратора. Не пугайтесь страшных слов!
  -----------------------------------------
• Java Control Flow Obfuscation
  Douglas Low (1998), Ссылка.
  
  Диссертация!
  -----------------------------------------
• Software Tamper Resistance: Obstructing Static Analysis of Programs Source
  Chenxi Wang,Jonathan Hill,John Knight,Jack Davidson, (2000), Ссылка.
  
  Тут есть теорема о том, что некоторые атаки являются достаточно сложными вычислительными задачами (NP-hard).
  -----------------------------------------
• Can We Obfuscate Programs?
  Boaz Barak, (2003(?)), Ссылка.
  
  Популярное объяснение результатов работы семи авторов (Barak и его команда).
  -----------------------------------------