Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference.

Samuele Buro, Isabella Mastroeni

Browse the full VMCAI paper archive.