Design and formal verification of a copland-based attestation protocol

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 20, 2021
Source ID
10.1145/3487212.3487340

Entities

People

  • Adam Petz
  • Grant Jurgensen
  • Perry Alexander

Organizations

  • Defense Advanced Research Projects Agency
  • National Security Agency
  • University of Kansas