Standard

Modeling of Checking Program Flow Control Transitions when Executing a Return Instruction. / Galimzyanova, Liliya; Porshnev, Sergey; Gilmiyarov, Roman и др.
Proceedings - 2023 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology, USBEREIT 2023: book. Institute of Electrical and Electronics Engineers Inc., 2023. стр. 320-323.

Результаты исследований: Глава в книге, отчете, сборнике статей › Материалы конференции › Рецензирование

Harvard

Galimzyanova, L, Porshnev, S, Gilmiyarov, R & Syrvacheva, R 2023, Modeling of Checking Program Flow Control Transitions when Executing a Return Instruction. в Proceedings - 2023 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology, USBEREIT 2023: book. Institute of Electrical and Electronics Engineers Inc., стр. 320-323, Международная конференция 2023 Урало-Сибирская конференция по биомедицинской инженерии, радиоэлектронике и информационным технологиям (USBEREIT 2023), Екатеринбург, Российская Федерация, 15/05/2023. https://doi.org/10.1109/USBEREIT58508.2023.10158811

APA

Galimzyanova, L., Porshnev, S., Gilmiyarov, R., & Syrvacheva, R. (2023). Modeling of Checking Program Flow Control Transitions when Executing a Return Instruction. в Proceedings - 2023 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology, USBEREIT 2023: book (стр. 320-323). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/USBEREIT58508.2023.10158811

Vancouver

Galimzyanova L, Porshnev S, Gilmiyarov R, Syrvacheva R. Modeling of Checking Program Flow Control Transitions when Executing a Return Instruction. в Proceedings - 2023 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology, USBEREIT 2023: book. Institute of Electrical and Electronics Engineers Inc. 2023. стр. 320-323 doi: 10.1109/USBEREIT58508.2023.10158811

Author

Galimzyanova, Liliya ; Porshnev, Sergey ; Gilmiyarov, Roman и др. / Modeling of Checking Program Flow Control Transitions when Executing a Return Instruction. Proceedings - 2023 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology, USBEREIT 2023: book. Institute of Electrical and Electronics Engineers Inc., 2023. стр. 320-323

BibTeX

@inproceedings{0bfeba1ae2774f86bcd5081ad7a80b09,
title = "Modeling of Checking Program Flow Control Transitions when Executing a Return Instruction",
abstract = "Buffer overflow vulnerabilities have been known for a long time, are widespread and relevant today. To protect against buffer overflows, developers of operating systems usually use standard mechanisms of operating systems, but they are not very effective in attacks using return-oriented programming techniques. The article proposes a model for checking the legitimacy of program control flow transitions when executing a return instruction, based on an access graph. The article also provides a model for checking the legitimacy of program control flow transitions when executing a return instruction, based on the use of a shadow stack, a model for generating a program control flow. Modeling was carried out in the specification language based on set theory, first-order logic and temporal logic of actions, models were checked using the Model Checking method. The constructed models can be refined to the required level of abstraction, used to create mechanisms for protecting operating systems based on Linux from attacks using the return-oriented programming technique.",
author = "Liliya Galimzyanova and Sergey Porshnev and Roman Gilmiyarov and Regina Syrvacheva",
year = "2023",
month = may,
day = "15",
doi = "10.1109/USBEREIT58508.2023.10158811",
language = "English",
pages = "320--323",
booktitle = "Proceedings - 2023 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology, USBEREIT 2023",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",
note = "2023 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT) ; Conference date: 15-05-2023 Through 17-05-2023",

}

RIS

TY - GEN

T1 - Modeling of Checking Program Flow Control Transitions when Executing a Return Instruction

AU - Galimzyanova, Liliya

AU - Porshnev, Sergey

AU - Gilmiyarov, Roman

AU - Syrvacheva, Regina

PY - 2023/5/15

Y1 - 2023/5/15

N2 - Buffer overflow vulnerabilities have been known for a long time, are widespread and relevant today. To protect against buffer overflows, developers of operating systems usually use standard mechanisms of operating systems, but they are not very effective in attacks using return-oriented programming techniques. The article proposes a model for checking the legitimacy of program control flow transitions when executing a return instruction, based on an access graph. The article also provides a model for checking the legitimacy of program control flow transitions when executing a return instruction, based on the use of a shadow stack, a model for generating a program control flow. Modeling was carried out in the specification language based on set theory, first-order logic and temporal logic of actions, models were checked using the Model Checking method. The constructed models can be refined to the required level of abstraction, used to create mechanisms for protecting operating systems based on Linux from attacks using the return-oriented programming technique.

AB - Buffer overflow vulnerabilities have been known for a long time, are widespread and relevant today. To protect against buffer overflows, developers of operating systems usually use standard mechanisms of operating systems, but they are not very effective in attacks using return-oriented programming techniques. The article proposes a model for checking the legitimacy of program control flow transitions when executing a return instruction, based on an access graph. The article also provides a model for checking the legitimacy of program control flow transitions when executing a return instruction, based on the use of a shadow stack, a model for generating a program control flow. Modeling was carried out in the specification language based on set theory, first-order logic and temporal logic of actions, models were checked using the Model Checking method. The constructed models can be refined to the required level of abstraction, used to create mechanisms for protecting operating systems based on Linux from attacks using the return-oriented programming technique.

UR - http://www.scopus.com/inward/record.url?partnerID=8YFLogxK&scp=85164972539

U2 - 10.1109/USBEREIT58508.2023.10158811

DO - 10.1109/USBEREIT58508.2023.10158811

M3 - Conference contribution

SP - 320

EP - 323

BT - Proceedings - 2023 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology, USBEREIT 2023

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2023 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT)

Y2 - 15 May 2023 through 17 May 2023

ER -

ID: 41985005