Symbolic Side-Channel Analysis for Probabilistic Programs.
Pasquale MalacariaM. H. R. KhouzaniCorina S. PasareanuQuoc-Sang PhanKasper Søe LuckowPublished in: CSF (2018)
Keyphrases
- intermediate level
- bayesian networks
- probabilistic model
- generative model
- uncertain data
- data driven
- posterior probability
- probabilistic logic programs
- probabilistic relational
- probabilistic approaches
- symbolic representation
- probabilistic reasoning
- context sensitive
- real time
- semi supervised
- decision making
- computer vision
- neural network