Scalable Trust Semantics & Infrastructure —2019 Q4

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:

• Worked with MITRE, JHUAPL and NSA on enterprise attestation patterns including mutual, layered, delegated and cached attestations.
• Continued developing the Attestation Monad formalization used to implement and verify attestation managers and attestation patterns.
• Began formalizing ideal attestation protocol negotiation that respects negotiation and privacy protocols for both appraiser and target systems.
• Began exploring integration of appraisal into the Attestation Monad by including attestation primitives.
• Continued development of an Attestation Virtual Machine that executes compiled Copland protocols.

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.