A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages.
Peter AldousMatthew MightPublished in: IEEE Symposium on Security and Privacy Workshops (2016)
Keyphrases
- low level
- high level
- higher level
- expressive power
- real time
- particle filter
- visual information
- object tracking
- appearance model
- databases
- control flow
- mid level
- language independent
- visual tracking
- kalman filter
- maximum likelihood
- motion analysis
- cross lingual
- lower level
- security policies
- text summarization
- motion tracking
- visual features
- knowledge representation languages