Publications

• 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]