Runtime Verification of Linux Kernel Modules Based on Call Interception.

Vladimir V. Rubanov, Eugene A. Shatokhin

Browse the full ICST paper archive.