Keyword:Hypervisor

Publications
Hardware Isolation Support for Low-Cost SoC-FPGAs Daniele Passaretti, Felix Böhm, Martin Wilhelm and Thilo Pionteck EasyChair Preprint 8829
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
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