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]
@inproceedings{SardarF22,
title = {Formal Foundations for SCONE Attestation},
author = {Muhammad Usama Sardar and Christof Fetzer},
year = {2022},
doi = {10.1109/DSN-S54099.2022.00020},
url = {https://doi.org/10.1109/DSN-S54099.2022.00020},
researchr = {https://researchr.org/publication/SardarF22},
cites = {0},
citedby = {0},
pages = {31-32},
booktitle = {52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, Supplemental Volume, Baltimore, MD, USA, June 27-30, 2022},
publisher = {IEEE},
isbn = {978-1-6654-0260-6},
}