Compositional Verification of Security Properties for Embedded Execution Platforms.

Christoph Baumann, Oliver Schwarz, Mads Dam

Browse the full CHES paper archive.