Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities | IEEE Conference Publication | IEEE Xplore