works on
automated synthesis 1black-box analysis 1CPU microarchitecture 1leakage contracts 1side-channel attacks 1

From the 1 of 5 linked papers with an AI index.

most citedForward Symbolic Execution for Trustworthy Automation of Binary Code Verification

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026★ 4 cited

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification

Andreas Lindner, Karl Palmskog, Scott Constable +3

Control flow in unstructured programs can be complex and dynamic, which makes static analysis difficult. Yet, automated reasoning about unstructured control flow is important when…