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)