HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.