Publications

• Petz, A., W. Thomas, A. Fritz, T. Barclay, L. Schmalz, and Perry Alexander, Verified Configuration and Deployment of Layered Attestation Managers, 22nd International Conference on Software Engineering and Formal Methods (SEFM'24)
• Ian D. Kretz, Clare C. Parran, John D. Ramsdell, Paul D. Rowe, Evidence Tampering and Chain of Custody in Layered Attestations, arXiv
• Petz, A. and P. Alexander, Formally verified 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.