Symbolic Models for Isolated Execution Environments.

Charlie Jacomme Steve Kremer Guillaume Scerri

Published in: IACR Cryptol. ePrint Arch. (2017)

Keyphrases

probabilistic model
dynamic environments
real time
neural network
mathematical models
high level
prior knowledge
modeling framework
bayesian framework
experimental data
statistical model
parameter estimation
model selection
multiscale
three dimensional
decision trees
genetic algorithm
real world
data sets