Building a Hypervisor on a Formally Verifiable Protection Layer.

Michael McCoyd Robert Bellarmine Krug Deepak Goel Mike Dahlin William D. Young

Published in: HICSS (2013)

Keyphrases

operating system
multi layer
databases
genetic algorithm
video sequences
computational complexity
virtual machine