Grant Jurgensen
AboutPublications

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.

Grant Jurgensen

  • Grant Jurgensen
  • grant@jurgensen.dev
  • gjurgensen

Welcome to my site! I write about my interests in formal methods, functional programming, and type theory.