Visible to the public Scalable Trust Semantics & Infrastructure — 2020 Q1Conflict Detection Enabled

Submitted by Warren Alexander on Fri, 04/10/2020 - 2:26pm

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:

  • Began looking at implications of distributed local policy on negotiation in attestation patterns.
  • Refined the Attestation Manager/Attestation Monad model to use multiple Attestation Monads for attestation and appraisal in an attestation manager.
  • Continued development of the attestation virtual machine and compiler from Copland to the AVM.
  • Extended our model for attestation protocol negotiation to use a lattice to represent protocol preferences and policy to represent selection and instantiation.
  • Contributed to the development of a verified CakeML/seL4 attestation manager implementation.

PUBLICATIONS FROM THE QUARTER:

N/A

Groups: