Visible to the public Scalable Trust Semantics & Infrastructure — 2021 Q3Conflict Detection Enabled

PI(s): Perry Alexander

RESEARCHER(s):

HARD PROBLEM(S) ADDRESSED: Policy-Governed Secure Collaboration, Scalability and Composability

PUBLIC ACCOMPLISHMENT HIGHLIGHTS:

  • Developed a health record for certificate/passport style attestation

  • Initial development and verification of a layered attestation implementation and trusted boot

  • Began integrating the TPM 2.0 into the Copland attestation framework

  • Initiated interaction around using attestation in 5G authentication with NSA, ARM and TMobile

PUBLICATIONS FROM THE QUARTER:

  • Helble, S., I. Kretz, P. Loscocco, J. Ramsdell, P. Rowe, and P. Alexander, "Flexible Mechanisms for Remote Attestation," ACM Transactions on Privacy and Security, 24(4), pp 1-23.

  • Petz, A., G. Jurgensen, and P. Alexander, Design and Formal Verification of a Copland-based Attestation Protocol, ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21), Virtual, Nov 20-22, 2021.