Публикации

image

На английском языке

  1. Sergei Tikhomirov [University of Luxembourg], Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, Yaroslav Alexandrov. SmartCheck: Static Analysis of Ethereum Smart Contracts. ICSE WETSEB, Gothenburg 2018. [link]
  2. Egor Fominykh, Lenar Safin, Yaroslav Alexandrov. Analysing iOS apps: road from AppStore to security analysis report. REcon, Brussels 2017. [PDF]
  3. Aleksandrov Y., Safin L., Troshina K., Chernov A. Static Binary Analysis of Mobile Applications for the Android Platform, According to the Requirements of Information Security. Moscow University Computational Mathematics and Cybernetics (ISSN 0278-6419). 2016, N 3. pp 141-146.
  4. A. Chernov and K. Troshina. Reverse engineering of binary programs for custom virtual machines. Recon conference. Montreal, Canada. 14-16 June 2012. [presentation]
  5. A. Fokin, E. Derevenetc, A. Chernov and K. Troshina. SmartDec: Approaching C++ Decompilation. In Proceedings of 18th Working Conference on Reverse Engineering. Limerick, Ireland. 17-20 October 2011, pp. 347-356. [IEEE]
  6. K. Troshina, Y. Derevenets and A. Chernov. Reconstruction of composite types for Decompilation. In Proceedings of 10th IEEE International Working Conference on Source Code Analysis and Manipulation. Timisoara, Romania. 12-13 September 2010, pp. 179-188. [IEEE]
  7. A. Fokin, K. Troshina and A. Chernov. Reconstruction of Class Hierarchies for Decompilation of C++ Programs. In Proceedings of 14th European Conference on Software Maintenance and Reengineering, March 2010. [IEEE]
  8. K. Troshina, A. Chernov and Y. Derevenets. C Decompilation: Is It Possible? In Proceedings of International Workshop on Program Understanding. Altai Mountains, Russia. 19-23 June 2009, pp. 18-27.
  9. K. Troshina and A. Chernov. High-Level Composite Type Reconstruction During Decompilation from Assembly Programs. In Proceedings of 7th Perspectives of System Informatics. Akademgorodok, Novosibirsk, Russia, 15-19 June 2009, pp. 292-299.
  10. K. Troshina, A. Chernov and A. Fokin. Profile-Based Type Reconstruction for Decompilation. In Proceedings of IEEE 17th International Conference on Program Comprehension. Vancouver, Canada, 17-19 May 2009, pp. 263-267. [IEEE]
  11. K. Dolgova, A. Chernov. Automatic Type Reconstruction in Disassembled C Programs. In Proceedings of IEEE 15th Working Conference on Reverse Engineering 2008. Antwerp, Belgium, October 2008, рр. 202-206. [IEEE]
image

На русском языке

  1. Д. В. Чернов, Л. К. Сафин. Унаследованные «дыры».Журнал «Защита информации. Инсайд» № 4 июль–август 2016 г. [Inside]
  2. С. С. Тихомиров, Я. А. Александров, Е. А. Марченко, Л. К. Сафин. Поиск закладок в программном обеспечении. Журнал «Защита информации. Инсайд» № 3 май–июнь 2016 г. [Inside]
  3. Александров Я. А., Чернов А. В., Марченко Е. А., Тахавиев Р. В., Сафин Л. К. Автоматическая оценка надежности процедуры аутентификации // Защита информации. INSIDE --- 2016. --- №5. --- С. 20-25.
  4. Александров Я.А., Сафин Л.К., Трошина К.Н., Чернов А.В. Статический бинарный анализ мобильных приложений для платформы Android по требованиям информационной безопасности // Вестник московского университета. Серия 15: вычислительная математика и кибернетика. --- 2016. --- №. 3. --- С. 44-49.
  5. Александров Я. А., Сафин Л. К., Чернов А. В., Трошина К. Н. Определение границ подпрограмм при статическом анализе бинарных образов // Вопросы кибербезопасности. --- 2016. --- №1. --- С. 53-60[PDF]
  6. Л. К. Сафин, Я. А. Александров,к.ф.-м.н. К. Н. Трошина, к.ф.-м.н. А. В. Чернов. Бинарный анализ с декомпиляцией и LLVM. PHDays V, 26 мая 2015 [презентация]
  7. Л. К. Сафин, Я. А. Александров,к.ф.-м.н. К. Н. Трошина, к.ф.-м.н. А. В. Чернов. Мобильная «безопасность». PHDays V, 26 мая 2015 [презентация]
  8. Л. К. Сафин, Я. А. Александров,к.ф.-м.н. К. Н. Трошина, к.ф.-м.н. А. В. Чернов. Исследование информационной защищенности мобильных приложений. Вопросы кибербезопасности №4 2015., 28-37 [PDF]
  9. Е. Н. Трошина, А. В. Чернов. Восстановление типов данных в задаче декомпилирования в язык C. Прикладная информатика № 6 Декабрь 2009 г., Москва МаркетДС, стр. 99-117 [PDF]
  10. Е. О. Деревенец, Е. Н. Долгова. Структурный анализ в задаче декомпиляции. Прикладная информатика №4 Август 2009 г., Москва МаркетДС, стр. 87-99 [PDF]
  11. Е. О. Деревенец, Е. Н. Долгова. Восстановление управляющих конструкций языка высокого уровня из исходной программы на языке ассемблера. Сборник статей молодых ученых факультета ВМиК МГУ № 6 2009 г., Москва, стр. 69-80.
  12. В. Ю. Антонов, Е. Н. Долгова. Восстановление типов данных с использованием информации о выполнении программы. Сборник статей молодых ученых факультета ВМиК МГУ № 6 2009 г., Москва, стр. 6-16.
  13. Е. Н. Долгова, А. В. Чернов. Автоматическое восстановление типов в задаче декомпиляции. Программирование, номер 2, журнал Российской академии наук. Март – апрель 2009, cтр. 63-80.
  14. Е. Н. Долгова, А. В. Чернов. Методы и алгоритмы восстановления программ на языке ассемблера в программы на языке высокого уровня. Материалы XVII Общероссийской научно-технической конференции «Методы и технические средства обеспечения безопасности информации», С.-Петербург, июль 2008, стр. 101.
  15. Е. Н. Долгова, В. Ю. Антонов. Введение в задачу декомпиляции. Сборник статей молодых ученых факультета ВМК МГУ № 5 2008 г., Москва, стр. 5-15.
  16. Е. Н. Долгова, А. В. Чернов, Е. О. Деревенец. Методы и алгоритмы восстановления программ на языке ассемблера в программы на языке высокого уровня. Проблемы информационной безопасности, Компьютерные системы, № 3. 2008 год, стр. 48-62. [PDF]
  17. E. Н. Долгова, А. В. Чернов. О некоторых задачах обратной инженерии. Труды Института системного программирования, Том 15, Москва 2008, стр. 119-134.