Keyword:Hypervisor

Papers
Building a Distributed System for Live Virtual Machine Introspection Steven Valle, Nagarajan Prabakar and Himanshu Upadhyay In:Proceedings of 35th International Conference on Computer Applications in Industry and Engineering
Hardware Isolation Support for Low-Cost SoC-FPGAs Daniele Passaretti, Felix Böhm, Martin Wilhelm and Thilo Pionteck EasyChair Preprint no. 8829
Compositional Verification of Security Properties for Embedded Execution Platforms Christoph Baumann, Oliver Schwarz and Mads Dam In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems