Login / Signup
Automatically Proving Microkernels Free from Privilege Escalation from their Executable.
Olivier Nicole
Matthieu Lemerre
Sébastien Bardin
Xavier Rival
Published in:
CoRR (2020)
Keyphrases
</>
user defined
security policies
artificial intelligence
decision making
knowledge base
decision trees
wide range
data streams
image retrieval
artificial neural networks
automatically generated
semi automatically
unsupervised manner