Symbolic Models for Isolated Execution Environments.

Charlie Jacomme Steve Kremer Guillaume Scerri

Published in: EuroS&P (2017)

Keyphrases

statistical models
probabilistic model
complex systems
accurate models
data mining
machine learning
knowledge base
least squares
computational model
data flow