Grant Jurgensen

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Formal Verification

Software Architecture

Domain Independent

Top Venues

Publications

Adam Petz, Grant Jurgensen, Perry Alexander
Design and formal verification of a copland-based attestation protocol. MEMOCODE (2021)
Grant Jurgensen, Michael Neises, Perry Alexander
An seL4-based architecture for layered attestation. HotSoS (2020)