Scalable Trust Semantics & Infrastructure — 2020 Q2

PI(s): Perry Alexander

RESEARCHER(s):

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

PUBLIC ACCOMPLISHMENT HIGHLIGHTS:

• Continued defining a formal model of local policy composition to support attestation protocol negotiation based on protocol lattices.
• Continued formalizing the attestation monad as a model of attestation and appraisal.
• Defined a collection of attestation architectures for supporting enterprise and mutual attestation.
• Demonstrated use of CakeML/seL4 attestation manager for layered attestation.

PUBLICATIONS FROM THE QUARTER:

Adam Petz, "An Infrastructure for Faithful Execution of Remote Attestation Protocols," poster presentation at Hot Topics in Science of Security (HoTSoS'20), Lawrence, KS September 22-23, 2020.