Publications

• Jurgensen, G. A Verified Architecture for Trustworthy Remote Attestation. Master’s thesis, University of Kansas. April, 2022.
• Petz, A., Jurgensen, G., and Alexander, P. Design and Formal Verification of a Copland-based Attestation Protocol. In ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE’21), Virtual, Nov 20-22, 2021.