Loading [a11y]/accessibility-menu.js
Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code | IEEE Conference Publication | IEEE Xplore
Scheduled Maintenance: On Monday, 27 January, the IEEE Xplore Author Profile management portal will undergo scheduled maintenance from 9:00-11:00 AM ET (1400-1600 UTC). During this time, access to the portal will be unavailable. We apologize for any inconvenience.

Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code


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...Show More

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.
Date of Conference: 18-21 September 2019
Date Added to IEEE Xplore: 05 December 2019
ISBN Information:
Conference Location: Metz, France

References

References is not available for this document.