Automatic Inference and Enforcement of Kernel Data Structure Invariants.

Arati Baliga, Vinod Ganapathy, Liviu Iftode

Browse the full ACSAC paper archive.