HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:hardware platform

Papers
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.