The Last Mile: An Empirical Study of Timing Channels on seL4.

David Cock Qian Ge Toby C. Murray Gernot Heiser

Published in: CCS (2014)

Keyphrases

multi channel
special case
communication channels
machine learning
computational complexity
management system
data sets
databases
image processing
bayesian networks