Login / Signup
Symbolic Side-Channel Analysis for Probabilistic Programs.
Pasquale Malacaria
M. H. R. Khouzani
Corina S. Pasareanu
Quoc-Sang Phan
Kasper Søe Luckow
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
intermediate level
bayesian networks
probabilistic model
data sets
databases
real time
probabilistic logic
probabilistic interpretation
probabilistic approaches
machine learning
information systems
learning environment
probabilistic reasoning
probability theory
automatic programming