Publications

• Tahat, A., D. Hardin, A. Petz, and P. Alexander, “Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase”, International Conference on Bridging the Gap between AI and Reality (AISoLA ‘24), November, 2024.
  [Springer link], [link to pdf on loonwerks]

• Petz, A., W. Thomas, A. Fritz, T. Barclay, L. Schmalz, and P. Alexander, “Verified Configuration and Deployment of Layered Attestation Managers”, 22nd International Conference on Software Engineering and Formal Methods (SEFM’24), November, 2024.
  [link to ACM DL]

• Petz, A. and P. Alexander, “Formally verified bundling and appraisal of evidence for layered attestations”, Innovations in Systems and Software Engineering (ISSE’22), September, 2022.
  [Springer link], [link to “view only” pdf]

• Petz, A., “Formally Verified Bundling and Appraisal of Evidence for Layered Attestations”, Doctoral Dissertation, University of Kansas, June, 2022.
  [link to pdf], [link to ProQuest]

• 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. [link to pdf]

• Petz, A. and P. Alexander, “An Infrastructure for Faithful Execution of Remote Attestation Protocols”, NASA Formal Methods (NFM‘21), Virtual, May 2021. [link to pdf]

• Petz, A. and P. Alexander, “A Copland Attestation Manager,” Hot Topics in Science of Security (HoTSoS’19), Nashville, TN, April 1-3 2019. [link to pdf]

• 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. [link to pdf]