Automatic Inference and Enforcement of Kernel Data Structure Invariants.
Arati BaligaVinod GanapathyLiviu IftodePublished in: ACSAC (2008)
Keyphrases
- data structure
- kernel function
- semi automatic
- support vector
- access control
- grammatical inference
- fully automatic
- quadtree
- probabilistic inference
- random fields
- space efficient
- digital rights
- neural network
- efficient data structures
- moment invariants
- multidimensional data
- suffix tree
- bayesian inference
- itemsets
- dimensionality reduction
- bayesian networks