Asia’s Surging Interest in Binary Analysis
The expanding cyber infrastructure in Asia has ignited strong interests in software security, leading to a surge of research activities in binary analysis in the region.
Sang Kil Cha
Advertisement
Author Archives
Enhancing Symbolic Execution with Veritesting
In this article, we present a new technique for generating formulas called veritesting that alternates between static symbolic execution (SSE) and dynamic symbolic execution (DSE).
The idea is to identify security-critical software bugs so they can be fixed first.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved