Runtime Checking for Paired Functions in Device Drivers.

Jia-Ju Bai, Hu-Qiu Liu, Yu-Ping Wang, Shi-Min Hu

Browse the full APSEC paper archive.