Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities.

Xiang Du, Liangze Yin, Haining Feng, Wei Dong

Browse the full APSEC paper archive.