Veritas: A Semantically Grounded Agentic Framework for Memory Corruption Vulnerability Detection in Binaries. - Xinran Zheng; Alfredo Pesoli; Marco Valleri; Suman Jana; Lorenzo Cavallaro (CoRR, 2026)