Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification.

Andreas Lindner, Karl Palmskog, Scott Constable, Mads Dam, Roberto Guanciale, Hamed Nemati

Browse the full VMCAI paper archive.