ИСТИНА

Пучков Федор Михайлович пользователь

Соавторы: Шапченко К.А., Васенин В.А., Андреев О.О., Климовский А.А., Шундеев А.С., Батов И.С., Большаков М.В., Галатенко А.В., Иткес А.А., Маркелов К.К., Першин И.С., Савкин В.Б., Астапов И.С. показать полностью..., Афонин С.А., Большаков М.В., Дзыба М.С., Казарин О.В., Козицын А.С., Коршунов А.А., Кривчиков М.А., Лёвин В.Ю., Титов А.С.

10 статей, 2 книги, 1 доклад на конференции, 2 тезисов докладов, 4 НИР, 5 патентов, 3 научного отчёта, 1 диссертация, 1 дипломная работа, 1 курсовая работа, 3 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 4

IstinaResearcherID (IRID): 211432

Деятельность

• Статьи в журналах

  • • 2012 К созданию защищенной наложенной сети связи нового поколения для передачи данных
    • Васенин В.А., Лёвин В.Ю., Пучков Ф.М., Шапченко К.А.
    • в журнале Программная инженерия, издательство Новые технологии (Москва), № 4, с. 2-8
  • • 2012 Обеспечение информационной безопасности в распределенных системах на основе технологий Grid и Cloud Computing: традиционные средства защиты и вопросы асимметрии доверия
    • Васенин В.А., Иткес А.А., Пучков Ф.М., Шапченко К.А.
    • в журнале Программная инженерия, издательство Новые технологии (Москва), № 1, с. 28-34
  • • 2012 Формальная верификация C и C++ программ: практические аспекты
    • Пучков Ф.М., Шапченко К.А.
    • в журнале Программная инженерия, издательство Новые технологии (Москва), № 3
  • 
    • 2005 Static Analysis Method for Detecting Buffer Overflow Vulnerabilities
    • Puchkov F., Shapchenko K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 31, № 4, с. 179-189
  • • 2005 Статический метод анализа программного обеспечения на наличие угроз переполнения буферов
    • Пучков Ф.М., Шапченко К.А.
    • в журнале Программирование, № 4, с. 19-34

• Статьи в сборниках

  • • 2007 К созданию автоматизированных средств верификации программного кода
    • Пучков Ф.М., Шапченко К.А., Андреев О.О.
    • в сборнике Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06), с. 401-439
  • • 2007 Объекты критически важных инфраструктур: анализ защищенности и риски успешной реализации компьютерных атак.
    • Климовский А.А., Большаков М.В., Пучков Ф.М.
    • в сборнике Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06), с. 315-335
  • • 2006 О проверке свойств информационных потоков в распределенныхинформационных системах // Материалы международной научной конференции попроблемам безопасности и противодействия терроризму
    • Пучков Ф.М.
    • в сборнике Третья международная конференция по проблемам управления (20-22 июня 2006 года), том 2006, с. 230-238
  • • 2005 К вопросу о выявлении возможных переполнений буферов посредством статического анализа исходного кода программ
    • Пучков Ф.М., Шапченко К.А.
    • в сборнике Математика и безопасность информационных технологий. Материалы конференции в МГУ 28-29 октября 2004 г., место издания МЦНМО, с. 347-359
  • • 2003 Способ анализа программ на наличие угроз переполнения буферов
    • Галатенко А.В., Пучков Ф.М., Шапченко К.А.
    • в сборнике Информационная безопасность регионов России (ИБРР-2003): материалы конференции, с. 33

• Книги

  • • 2008 Критически важные объекты и кибертерроризм. Часть 1. Системный подход к организации противодействия
    • Батов И.С., Андреев О.О., Большаков М.В., Васенин В.А., Шапченко К.А., Климовский А.А., Маркелов К.К., Пучков Ф.М., Савкин В.Б., Казарин О.В.
    • место издания МЦНМО Москава, ISBN 978-5-94057-416-3, 398 с.
  • • 2008 Критически важные объекты и кибертерроризм. Часть 2. Аспекты программной реализации средств противодействия
    • Козицын А.С., Коршунов А.А., Маркелов К.К., Першин И.С., Пучков Ф.М., Савкин В.Б., Титов А.С., Шапченко К.А., Климовский А.А., Иткес А.А., Дзыба М.С., Галатенко А.В., Васенин В.А., Шундеев А.С., Батов И.С., Афонин С.А., Астапов И.С., Андреев О.О., Большаков М.В.
    • место издания None, 607 с.

• Доклады на конференциях

  • • 2013 Организация распределенных вычислений на базе платформы ERLANG/OTP (Устный)
    • Авторы: Пучков Ф.М., Кривчиков М.А., Шундеев А.С.
    • Ломоносовские чтения - 2013. Филиал МГУ в г. Севастополе, Филиал МГУ в г. Севастополе, Украина, 19-20 апреля 2013

• Тезисы докладов

  • • 2013 Организация распределенных вычислений на базе платформы ERLANG/OTP
    • Шундеев А.С., Пучков Ф.М., Кривчиков М.А.
    • в сборнике ЛОМОНОСОВСКИЕ ЧТЕНИЯ, 2013, серия Секция механики, место издания Изательство Московского университета Москва, тезисы, с. 150-150
  • • 2012 Система управления композитными заданиями на базе платформы Erlang/OTP
    • Шундеев А.С., Пучков Ф.М., Першин И.С.
    • в сборнике Ломоносовские чтения 2012. Секция механики, тезисы

• НИРы

  • • 1 января 2014 - 31 декабря 2016 Информатика защищенных критически важных объектов
    • Институт проблем информационной безопасности
    • Руководитель: Васенин В.А. Участники НИР: Зензинов А.А., Иткес А.А., Пучков Ф.М., Шапченко К.А.
  • • 10 сентября 2013 - 31 декабря 2019 Развитие и сопровождение системы подготовки принятия решений на основе анализа информации о результатах научно-исследовательской, педагогической и инновационной деятельности ИАС «ИСТИНА»
    • 404 Лаборатория автоматизации экспериментальных исследований
    • Руководитель: Васенин В.А. Участники НИР: Артамкин С.А., Астапов И.С., Афонин С.А., Бахтин А.В., Богопольский Г.А., Большова М.И., Бухонов В.Ю., Валединский В.Д., Галатенко А.В., Ганкин Г.М., Гаспарянц А.Э., Глебова О.В., Голомазов Д.Д., Гувернюк С.В., Занчурин М.А., Зензинов А.А., Иткес А.А., Калинина Т.А., Карпенко Д.С., Козицын А.С., Коршунов А.А., Костюхин К.А., Кривчиков М.А., Морозова Н.А., Першин И.С., Пучков Ф.М., Роганов В.А., Рябинина Н.В., Федорова О.В., Шапченко К.А., Шачнев Д.А., Шокуров А.В., Шундеев А.С.
  • • 1 сентября 2011 - 31 декабря 2011 Разработка алгоритма распараллеливания теплогидравлического кода (CMS) полномасштабной модели
    • Научно-исследовательский институт механики
    • Руководитель: Васенин В.А. Участники НИР: Астапов И.С., Афонин С.А., Голомазов Д.Д., Занчурин М.А., Иткес А.А., Казьмин О.О., Козицын А.С., Коршунов А.А., Кривчиков М.А., Морозова Н.А., Першин И.С., Пучков Ф.М., Рагулин А.Д., Роганов В.А., Титов А.С., Шапченко К.А., Шундеев А.С.
  • • 11 января 2011 - 31 декабря 2015 Модели и программные средства информационно-вычислительных систем
    • 404 Лаборатория автоматизации экспериментальных исследований
    • Руководитель: Васенин В.А. Участники НИР: Астапов И.С., Афонин С.А., Бахтин А.В., Бухонов В.Ю., Ганкин Г.М., Голомазов Д.Д., Занчурин М.А., Зензинов А.А., Иткес А.А., Козицын А.С., Коршунов А.А., Костюхин К.А., Кривчиков М.А., Лунев К.В., Морозова Н.А., Пучков Ф.М., Роганов В.А., Тумайкин И.Н., Шапченко К.А., Шокуров А.В., Шундеев А.С.

• Патенты

  • • 2016 Indoor Navigation Method And system
    • Авторы: Панев А.А., Смирнов А.С., Косьянчук В.В., Пучков Ф.М., Тычинин П.С., Демидов О.А.
    • #WO2016195527, 8 декабря
  • • 2009 Способ верификации программного обеспечения распределительных вычислительных комплексов и система для его реализации
    • Авторы: Пучков Ф.М., Шапченко К.А.
    • #2373570, 20 ноября
  • • 2009 Способ генерации баз данных и баз знаний для систем верификации программного обеспечения распределенных вычислительных комплексов и устройство для его реализации
    • Авторы: Пучков Ф.М., Шапченко К.А.
    • #2373569, 20 ноября
  • • 2009 Способ генерации баз знаний для систем верификации программного обеспечения распределенных вычислительных комплексов и устройство для его реализации
    • Авторы: Пучков Ф.М., Шапченко К.А.
    • #2364930, 20 августа
  • • 2009 Способ генерации баз данных для систем верификации программного обеспечения распределенных вычислительных комплексов и устройство для его реализации
    • Авторы: Пучков Ф.М., Шапченко К.А.
    • #2364929, 20 августа

• Отчеты

  • • 2014 ОЦЕНКА ПРОИЗВОДИТЕЛЬНОСТИ ПРОТОТИПА «ПАРАЛЛЕЛЬНОЙ» ВЕРСИИ ТЕПЛОГИДРАВЛИЧЕСКОГО КОДА СMS ПРИ РАБОТЕ НА СУПЕР ЭВМ
    • Авторы: Васенин В.А., Афонин С.А., Козицын А.С., Коршунов А.А., Шундеев А.С., Астапов И.С., Першин И.С., Пучков Ф.М., Роганов В.А., Шапченко К.А., Голомазов Д.Д., Иткес А.А., Занчурин М.А., Казьмин О.О., Кривчиков М.А., Рагулин А.Д.
    • #5244, 44 с.
  • • 2014 Разработка алгоритма распараллеливания теплогидравлического кода (СМS) полномасштабной модели
    • Авторы: Васенин В.А., Афонин С.А., Козицын А.С., Коршунов А.А., Шундеев А.С., Астапов И.С., Першин И.С., Пучков Ф.М., Роганов В.А., Шапченко К.А., Голомазов Д.Д., Иткес А.А., Занчурин М.А., Казьмин О.О., Кривчиков М.А., Рагулин А.Д.
    • #5243, 15 с.
  • • 2007 Разработка подходов к обеспечению информационной безопасности автоматизированных систем государственного управления на основе использования в их составе программного обеспечения с открытым кодом
    • Авторы: Васенин В.А., Шундеев А.С., Андреев О.О., Водомеров А.Н., Галатенко А.В., Галатенко В.В., Горелов С.С., Дзыба М.С., Инюхин А.В., Иткес А.А., Климовский А.А., Козицын А.С., Конев И.М., Коршунов А.А., Костюхин К.А., Макунин И.В., Морозова Н.А., Першин И.С., Пучков Ф.М., Роганов В.А., Савкин В.Б., Сидорова В.А., Степанов Е.А., Хазова Е.Е., Шапченко К.А.
    • #4900

• Диссертация

  • • 2010 Методы и средства автоматизированного обнаружения уязвимостей в программах на языке С на основе статического анализа их исходных текстов
    • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
    • Автор: Пучков Ф.М.
    • Научный руководитель: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет

• Руководство дипломными работами

  • • 2009 О трансляции программ на языке С++ в промежуточный трехадресный код
    • Научные руководители: Васенин В.А., Пучков Ф.М., Шапченко К.А.
    • Автор: Данькин С.М. (Специалист)

• Руководство курсовыми работами

  • • 2015 Исследование алгоритмов слежения
    • Научные руководители: Пучков Федор Михайлович, Васенин Валерий Александрович
    • Автор: Кривчикова Ксения Александровна (Специалист)

• Авторство учебных курсов

  • • 2014 Методы и средства защиты информации, информационная безопасность. Комплексный подход к проблеме обеспечения
    • Авторы: Васенин В.А., Галатенко А.В., Шапченко К.А., Пучков Ф.М.
  • • 2014 Криптографические методы защиты информации
    • Авторы: Васенин В.А., Галатенко А.В., Шапченко К.А., Пучков Ф.М.
  • • 2000 Комплексный подход к проблеме обеспечения информационной безопасности
    • Авторы: Васенин В.А., Шапченко К.А., Пучков Ф.М.