| Title | Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Letychevskyi, Oleksandr |
| Conference Name | 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) |
| Keywords | algebra, 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 |
| Abstract | This 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. |
| DOI | 10.1109/IDAACS.2019.8924255 |
| Citation Key | letychevskyi_two-level_2019 |
Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code