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

Submitted by Warren Alexander on Fri, 10/14/2022 - 11:27am

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 introducing executability and soundness
  • Continued development of manifests as mathematical objects and implementation infrastructure
  • Completed initial integration of the TPM 2.0, TSS and OpenSSL into the Copland attestation framework
  • Completed initial integration of blockchain storage of health records and TPM keys
  • Automatically synthesized negotiation and Copland interpreter implementations from Coq specifications

PUBLICATIONS FROM THE QUARTER:

N/A

Groups: