Automatic inference and enforcement of kernel data structure invariants. (2008)

by A BALIGA, V GANAPATHY, L IFTODE
Venue:In Proceedings of the 24th Annual Computer Security Applications Conference