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

Submitted by Warren Alexander on Wed, 04/20/2022 - 3:46pm

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.

Groups: