QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries

IEEE S&P 2023 Sessions · 2023 · 13:14

▶

QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries — a 2023 IEEE S&P 2023 Sessions security conference talk on reverse-engineering (13:14 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube
reverse-engineering

← Back to the Breach Arc Archive