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  
1,180
Known Releases
Open Access Publication
Preservation Summary [more]
942 preserved and accessble (bright)
0 preserved, inaccessible (dark)
238 no known preservation
Release Types
article-journal 1,180
Publication Type  proceedings
Country Code  ru
ISSN-L?  2079-8156
    Print:  2079-8156
    Electronic:  2220-6426
Wikidata  Q96728918
Directory Listings
In DOAJ
In ISSN ROAD
Lookup Links
ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Catalog Record
Revision: e659fec5-a061-4dce-bee4-1f62e533ece5
API URL: JSON