Thomas, W., Schmalz, L., Petz, A., Alexander, P., Guttman, J., Rowe, P., & Carter, J. (2026). Designing Trustworthy Layered Attestations. ArXiv Preprint ArXiv:2603.06326.
Thomas, W., Schmalz, L., Petz, A., Alexander, P., Guttman, J., Rowe, P., & Carter, J. (2026). Designing Trustworthy Layered Attestations. Retrieved from https://arxiv.org/abs/2603.06326
Thomas, W., Schmalz, L., Petz, A., Alexander, P., Guttman, J., Rowe, P., & Carter, J. (2026). Designing Trustworthy Layered Attestations. Retrieved from https://arxiv.org/abs/2603.06326
Petz, A., Thomas, W., Fritz, A., Barclay, T., Schmalz, L., & Alexander, P. (2024). Verified Configuration and Deployment of Layered Attestation Managers. In 22nd International Conference on Software Engineering and Formal Methods (SEFM’24). Aveiro, Portugal: 22nd International Conference on Software Engineering and Formal Methods (SEFM’24). (Original work published November 2024)