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