Can We Prove Time Protection?

Gernot Heiser Gerwin Klein Toby C. Murray

Published in: HotOS (2019)

Keyphrases

protection scheme
machine learning
image sequences
multiscale
relational databases
evolutionary algorithm
upper bound