Publications
- Jurgensen, G. A Proof of the Schröder-Bernstein Theorem in ACL2. In 19th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2025), Electronic Proceedings in Theoretical Computer Science (EPTCS), Volume 423. Pages 36-45. Austin, TX, May 12-13, 2025. (Slides)
- 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.