- Petz, A. and P. Alexander, Formally veriﬁed bundling and appraisal of evidence for layered attestations, Innovations in Systems and Software Engineering
- Helble, S., I. Kretz, P. Loscocco, J. Ramsdell, P. Rowe, and P. Alexander, Flexible Mechanisms for Remote Attestation, ACM Transactions on Privacy and Security, 24(4), pp 1-23.
- Rowe, P. D., J. Ramsdell, and I. Kretz, Automated Trust Analysis of Copland Specifications for Layered Attestations, 23rd Symposium on Principles and Practice of Declarative Programming, (PDP'21), Tallinn, Estonia, September 6-8, 2021.
- Petz, A., G. Jurgensen, and P. Alexander, Design and Formal Verification of a Copland-based Attestation Protocol, ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21), Virtual, Nov 20-22, 2021.
- Petz, A., P. Alexander, An Infrastructure for Faithful Execution of Remote Attestation Protocols, NASA Formal Methods Symposium (NFM'21), online, May 24-28, 2021.
- Ramsdell, J., P. D. Rowe, P. Alexander, S. Helble, P. Loscocco, J. A. Pendergrass, and A. Petz, Orchestrating Layered Attestations, Principles of Security and Trust (POST’19), Prague, Czech Republic, April 8-11, 2019.
- Petz, A. and P. Alexander, A Copland Attestation Manager, Hot Topics in Science of Security (HoTSoS'19), Nashville, TN, April 1-3, 2019.