Thomas, W. ., Schmalz, L. ., Johnson, S. ., Petz, A. ., Alexander, P. ., & Guttman, J. . (2025). Layered Attestation of a Cross-Domain System.