Muhammad Usama Sardar, Christof Fetzer. Formal Foundations for SCONE Attestation. In 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, Supplemental Volume, Baltimore, MD, USA, June 27-30, 2022. pages 31-32, IEEE, 2022. [doi]
Abstract is missing.