Scalable Trust Semantics & Infrastructure —2019Q3

PI(s): Perry Alexander

Co-PI(s): Garrett Morris

RESEARCHER(s):

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

PUBLIC ACCOMPLISHMENT HIGHLIGHTS:

• Demonstrated CakeML Attestation Manager running layered attestation on 3D printer
• Worked with MITRE, JHUAPL and NSA on layered attestation, defining protocol ordering, and enterprise attestation examples
• Continued formalizing the definition of an Attestation Manager built around the Copland semantics.
• Continued defining attestation protocol negotiation
• Continued defining negotiation, selection, and privacy policies defining protocol negotiation
  

PUBLICATIONS FROM THE QUARTER:

• P. Alexander, "Remote Attestation and Trust," invited presentation at University Blockchain Research Initiative Connect (UBRICon'19), University of California at Berkeley, Berkeley, CA, October 3-4, 2019.