Electronic Documents Search
Documents found: 30
-
Creators Феофилактов Владислав Сергеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects генерация спецификаций; формальная спецификация; повторное использование кода; статический анализ; LibSL; specification generation; formal specification; code reuse; static analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3486 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.7 Mb -
Creators Плотников Василий Михайлович Scientific adviser Жуковский Евгений Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2025 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; поиск уязвимостей; промежуточное представление; ошибки кода; static analysis; vulnerability scanning; intermediate representation; code errors Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.01 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2025/vr/vr25-51 Rights Доступ по паролю из сети Интернет (чтение) pdf, 0.8 Mb -
Creators Антунович Павел Юрьевич Scientific adviser Сиднев Александр Георгиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects аппроксимация; формальная спецификация; стандартная библиотека C; генерация кода; статический анализ; cpproximation; formal specification; C standard library; code generation; static analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3586 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Creators Кечин Валерий Владимирович Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects восстановление спецификации библиотек; статический анализ; Java; Soot; specification mining; static analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3600 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.1 Mb -
Creators Васильева Ксения Владимировна Scientific adviser Коноплев Артем Станиславович Other creators Резединова Евгения Юрьевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; встроенное программное обеспечение; архитектура uefi bios; недекларированные возможности; верификация программного обеспечения; адаптивное сравнение бинарных файлов; доверенная вычислительная среда; static analysis; embedded software; uefi bios architecture; undeclared capabilities; verification of embedded software; adaptive binary comparison; trusted executable environment Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 10.03.01 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-4931-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-4931-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-4931 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 2.0 Mb -
Creators Волковский Максим Александрович Scientific adviser Макаров Александр Сергеевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects обнаружение вредоносного программного обеспечения; статический анализ; машинное обучение; глубокие нейронные сети; анализ дизасемблированного кода; detection of malicious software; static analysis; machine learning; deep neural networks; disassembled code analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 10.03.01 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2023/vr/vr23-2175 Rights Доступ по паролю из сети Интернет (чтение) pdf, 3.2 Mb -
Creators Берейчук Дарья Александровна Scientific adviser Павленко Евгений Юрьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; поиск уязвимостей; безопасный код; переполнение буфера; static analysis; vulnerability serch; secure code; buffer overflow Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 10.03.01 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2023/vr/vr23-1860 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.7 Mb -
Creators Дроздов Никита Дмитриевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные персональные — Библиотеки программ; статический анализ; спецификация; static analysis; specification UDC 004.422.8 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2022/vr/vr22-1915 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.1 Mb -
Creators Рябикин Иван Олегович Scientific adviser Ганин Сергей Владимирович Other creators Кисленков Владимир Васильевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт машиностроения, материалов и транспорта Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects конструирование; трехмерное моделирование; численное моделирование; ansys; статический анализ; модальный анализ; газодинамический анализ; центробежное распыление расплава; аддитивные технологии; engineering; three-dimesional modeling; numerical simulation; static analysis; modal analysis; luiddynamic analysis; centrifugal atomization; additive technologies Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 22.04.02 Speciality group (FGOS) 220000 - Технологии материалов Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-5212-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-5212-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-5212-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-5212 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 8.0 Mb -
Creators Разумков Игорь Алексеевич Scientific adviser Дахнович Андрей Дмитриевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects поиск уязвимостей; статический анализ; vulnerability scanning; static analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 10.03.01 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2023/vr/vr23-1895 Rights Доступ по паролю из сети Интернет (чтение) pdf, 2.7 Mb
