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., 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]