Cache-Leakage Resilient OS Isolation in an Idealized Model of Virtualization.

Gilles Barthe Gustavo Betarte Juan Diego Campo Carlos Luna

Published in: CSF (2012)

Keyphrases

probability distribution
formal model
mathematical model
similarity measure
probabilistic model
computational model
input output
experimental data
genetic algorithm
high level
prior knowledge
operating system
statistical model
network structure