ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Proceedings of the Institute for System Programming of RAS
container_q5rpshlfgfb5vn5yo6kwvnmsqe
Institute for System Programming of the Russian Academy of Sciences
Homepage URLs
https://ispranproceedings.elpub.ru/jour/index |
http://www.ispras.ru/ru/proceedings/ |
Example Publications
Occlusion culling algorithm based on software visibility checks
Алгоритм удаления невидимых поверхностей на основе программных проверок видимости
V.I. Gonakhchyan
2018
|
Proceedings of the Institute for System Programming of RAS
doi:10.15514/ispras-2018-30(2)-5
Survey of methods for automated code-reuse exploit generation.
Обзор методов автоматизированной генерации эксплойтов повторного использования кода
A.V. Vishnyakov, A.R. Nurmukhametov
2019
|
Proceedings of the Institute for System Programming of RAS
doi:10.15514/ispras-2019-31(6)-6
Predicate extension of symbolic memory graphs for analysis of memory safety correctness
Анализ корректности работы с памятью с использованием расширения теории символьных графов памяти предикатами над символьными значениями
A.A. Vasilyev, A.A. Vasilyev
2019
|
Proceedings of the Institute for System Programming of RAS
doi:10.15514/ispras-2019-31(6)-1
Towards Formal Verification of Cyber Security Standards
К формальной верификации стандартов кибербезопасности
T. Kulik, Aarhus University, Aarhus, Denmark, P.G. Larsen, Aarhus University, Aarhus, Denmark
2018
|
Proceedings of the Institute for System Programming of RAS
doi:10.15514/ispras-2018-30(4)-5
CASR: core dump analysis and severity reporter tool
CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках
Andrey Fedotov, Shamil Kurmangaleev
2020
|
Proceedings of the Institute for System Programming of RAS
doi:10.15514/ispras-2020-32(4)-6