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)
First name
Perry
Last name
Alexander