Visible to the public Scalable Trust Semantics & Infrastructure — 2022 Q1Conflict Detection Enabled

PI(s): Perry Alexander

RESEARCHER(s):

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

PUBLIC ACCOMPLISHMENT HIGHLIGHTS:

  • Continued development of attestation protocol negotiation and protocol comparison metrics
  • Continued development of flexible mechanisms for the attestation testbed
  • Continued integrating the TPM 2.0 into the Copland attestation framework
  • Continued development and verification of trusted boot and runtime attestation

PUBLICATIONS FROM THE QUARTER:

Petz, A. and P. Alexander, "An Environment for Faithful Execution of Remote Attestation Protocols ," accepted pending minor revsions for Innovations in Systems and Software Engineering special issue, selected papers from NASA Formal Methods 2021.

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 presented as a Works Already Published paper for HoTSoS'22.