Electronic Documents Search
Documents found: 7
-
Creators Соболь Станислав Сергеевич Scientific adviser Жуковский Евгений Владимирович Other creators Попова Елена Александровна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные — Программы; Информация — Защита; компьютерная безопасность; динамический анализ; триггерное поведение; символьное выполнение; computer security; dynamic analysis; trigger behavior; symbolic execution UDC 004.422.8; 004.056 Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.04 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-140-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-140-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-140-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-140 Rights Доступ по паролю из сети Интернет (чтение) pdf, 2.0 Mb -
Creators Иванников Павел Сергеевич Scientific adviser Семенов Павел Олегович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects Информационные системы; Информация — Защита; обнаружение уязвимостей; сетевые протоколы; фаззинг; символьное выполнение; vulnerability detection; network protocols; phasing; symbolic execution UDC 004.7; 681.518; 004.056 Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.03 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2020/vr/vr20-5102 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.5 Mb -
Creators Михайлова Татьяна Евгеньевна Scientific adviser Платонов Владимир Владимирович Other creators Резединова Евгения Юрьевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects символьное выполнение; блокчейн ethereum; смарт-контаркты; безопаность распределенных приложений; уязвимости в смарт-контрактах; solidity; автоматизированный поиск уязвимостей; smt-решатель z3; symbolic execution; ethereum blockchain; smart contract; decentralized application security; smart contract vulnerabilities; vuknerability searching automatization; z3 smt-solver Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.04 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-39 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb -
Creators Букреев Евгений Александрович Scientific adviser Сабонис Сергей Станиславович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects символическое исполнение; анализ потоков данных; Kotlin; статическое тестирование безопасности приложений; symbolic execution; data flow analysis; static application security testing 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-3345 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.0 Mb -
Creators Шульцев Илья Львович Scientific adviser Жуковский Евгений Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects Информация — Защита; Вычислительные машины электронные персональные — Программы; символьное выполнение; автоматизированный анализ; условия выполнения; symbolic execution; automated analysis; execution conditions UDC 004.056; 004.422.8 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/2024/vr/vr24-1504 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.1 Mb -
Creators Николаев Михаил Геннадьевич Scientific adviser Жуковский Евгений Владимирович Other creators Ярмак Анастасия Викторовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects ошибки программного обеспечения; фаззинг; символьное выполнение; инструменты символьного выполнения; компиляция; автоматизация тестирования; Software errors; fuzzing; symbolic execution; symbolic execution tools; compilation-based symbolic execution; test automation Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.04 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-198-o.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-198-r.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-198-a.pdf DOI 10.18720/SPBPU/3/2022/vr/vr22-198 Rights Доступ по паролю из сети Интернет (чтение) pdf, 2.0 Mb -
Creators Сирота Александр Алексеевич Scientific adviser Павленко Евгений Юрьевич Other creators Ярмак Анастасия Викторовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects кибербезопасность; обнаружение уязвимостей; динамический анализ; символьное выполнение; оптимизация; обратное символьное выполнение; cyber security; vulnerability detection; dynamic analysis; symbolic execution; optimization; reverse symbolic execution Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.04 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-185-o.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-185-r.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-185-a.pdf DOI 10.18720/SPBPU/3/2022/vr/vr22-185 Rights Доступ по паролю из сети Интернет (чтение) pdf, 2.7 Mb
