Arati Baliga Vinod Ganapathy Liviu Iftode Automatic Inference and Enforcement of Kernel Data Structure Invariants. 77-86 2008 ACSAC http://dx.doi.org/10.1109/ACSAC.2008.29 conf/acsac/2008 db/conf/acsac/acsac2008.html#BaligaGI08