sakibanwar

VerDiff: Cross-version vulnerability detection via PoC-based data-flow signatures.

Binary symbolic execution for Go binaries. Published at IEEE S&P 2025.