Scalable Trust Semantics & Infrastructure — 2022 Q2
PI(s): Perry Alexander
RESEARCHER(s):
HARD PROBLEM(S) ADDRESSED: Policy-Governed Secure Collaboration, Scalability and Composability
PUBLIC ACCOMPLISHMENT HIGHLIGHTS:
- Continued development of protocol negotiation and synthesis techniques
- Initiated formal specification of attestation system manifests for defining and reasoning about complex attestation systems
- Initiated formal specification of information disclosure from attestation protocol execution
- Continued integrating the TPM 2.0, TSS and OpenSSL into the Copland attestation framework
- Continued development of attestation health records and initialization focusing on enterprise attestation and supply chain protection
PUBLICATIONS FROM THE QUARTER:
Petz, A. and P. Alexander, "An Environment for Faithful Execution of Remote Attestation Protocols ," in press Innovations in Systems and Software Engineering special issue, selected papers from NASA Formal Methods 2021.
Groups: