Automated policy synthesis for system call sandboxing.

Shankara Pailoor Xinyu Wang Hovav Shacham Isil Dillig

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

program synthesis
fully automated
automated analysis
semi automated
computer assisted
database
optimal policy
data driven
expected cost
context sensitive
multi agent systems
multiscale
image sequences
learning algorithm
data mining
neural network
data sets