Christoph Baumann, Oliver Schwarz, Mads Dam. Compositional Verification of Security Properties for Embedded Execution Platforms. In Ulrich Kühne, Jean-Luc Danger, Sylvain Guilley, editors, PROOFS@CHES 2017, 6th International Workshop on Security Proofs for Embedded Systems, Taipei, Taiwan, Friday September 29th, 2017. Volume 49 of EPiC Series in Computing, pages 1-16, EasyChair, 2017. [doi]
Abstract is missing.