Visible to the public Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code

TitleTwo-Level Algebraic Method for Detection of Vulnerabilities in Binary Code
Publication TypeConference Paper
Year of Publication2019
AuthorsLetychevskyi, Oleksandr
Conference Name2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)
Keywordsalgebra, algebra expressions, behavior algebra, behavior matching, binary code, Binary codes, Buffer overflows, compositionality, cybersecurity, exploit, formal methods, formal specification, fuzzing, Human Behavior, Mathematical model, Metrics, model checking, Pattern matching, pubcrawl, Resiliency, Semantics, symbolic execution, two-level algebraic method, vulnerabilities detection, Vulnerability, vulnerability detection, vulnerability pattern matching
AbstractThis study introduces formal methods for detection of vulnerabilities in binary code. It considers the transformation of binary code into behavior algebra expressions and formalization of vulnerabilities. The detection method has two levels: behavior matching and symbolic execution with vulnerability pattern matching. This enables more efficient performance.
Citation Keyletychevskyi_two-level_2019