@inproceedings{bgi:gibraltar:acsac2008,
  author = {Arati Baliga and Vinod Ganapathy and Liviu Iftode},
  title = {Automatic Inference and Enforcement of Kernel Data Structure Invariants},
  booktitle = {ACSAC'08: Proceedings of the 24th Annual Computer Security Applications Conference},
  month = {December},
  year = {2008},
  pages = {77--86},
  address = {Anaheim, California, USA},
  note = {http://dx.doi.org/10.1109/ACSAC.2008.29},
  publisher = {IEEE Computer Society Press, Los Alamitos, California, USA}
}