Young hacker smiling
Doll using a magnifying glass while searching through a set of data

Symbolic execution for mortals

What is it and how it works
Quill icon Juan Aguirre   Folder icon attacks   Tag icon security,  test,  software

In 2003 the Defense Advanced Research Projects Agency, DARPA, announced the Cyber Grand Challenge, a two-year competition seeking to create automatic systems for vulnerability detection, exploitation, and patching in near real-time which brought quite a big and complex task to the table. With this task symbolic...



Service status - Terms of Use