Conference
Automatic Inference and Enforcement of Kernel Data Structure Invariants
| Title: | Automatic Inference and Enforcement of Kernel Data Structure Invariants |
|---|---|
| Authors: | Baliga, Arati, Ganapathy, Vinod, Iftode, Liviu |
| Source: | 2008 Annual Computer Security Applications Conference (ACSAC) Computer Security Applications Conference, 2008. ACSAC 2008. Annual. :77-86 Dec, 2008 |
| Relation: | 2008 Annual Computer Security Applications Conference (ACSAC) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9780769534473 |
|---|---|
| ISSN: | 10639527 |
| DOI: | 10.1109/ACSAC.2008.29 |