Adam Petz | Science of Security Virtual Organization

First name

Adam

Last name

Petz

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)