Design and formal verification of a copland-based attestation protocol.

Adam Petz, Grant Jurgensen, Perry Alexander

Browse the full MEMOCODE paper archive.