Visible to the public Algebraic Patterns of Vulnerabilities in Binary Code

TitleAlgebraic Patterns of Vulnerabilities in Binary Code
Publication TypeConference Paper
Year of Publication2019
AuthorsLetychevskyi, Oleksandr, Peschanenko, Volodymyr, Radchenko, Viktor, Hryniuk, Yaroslav, Yakovlev, Viktor
Conference Name2019 10th International Conference on Dependable Systems, Services and Technologies (DESSERT)
Date Publishedjun
Keywordsalgebra, algebra equations, algebraic approach, algebraic matching, algebraic matching methods, algebraic patterns, behaviour algebra, binary code, Binary codes, Buffer overflows, compositionality, cyber reasoning systems, Human Behavior, Metrics, pattern creation, Pattern matching, program diagnostics, pubcrawl, Registers, Resiliency, rewriting rules, Semantics, sockets, symbolic modelling, vulnerability detection
AbstractThis paper presents an algebraic approach for formalizing and detecting vulnerabilities in binary code. It uses behaviour algebra equations for creating patterns of vulnerabilities and algebraic matching methods for vulnerability detection. Algebraic matching is based on symbolic modelling. This paper considers a known vulnerability, buffer overflow, as an example to demonstrate an algebraic approach for pattern creation.
Citation Keyletychevskyi_algebraic_2019