@inproceedings{Sardar2022SCONEDSN,
address = {Baltimore},
author = {Sardar, Muhammad Usama and Fetzer, Christof},
booktitle = {52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2022)},
publisher = {IEEE/IFIP},
title = {{Formal Foundations for SCONE Attestation}},
year = {2022}
}