Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code | IEEE Conference Publication | IEEE Xplore