HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Christoph Baumann

Publications
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

Keyphrases

ARMv8, decomposition, formal verification, hardware platform, Hypervisor, SoC, System Security.

Copyright © 2012-2025 easychair.org. All rights reserved.