Scalable Trust Semantics & Infrastructure — 2021 Q3
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.