Scalable Trust Semantics & Infrastructure — 2020 Q3

PI(s): Perry Alexander

RESEARCHER(s):

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

PUBLIC ACCOMPLISHMENT HIGHLIGHTS:

• Continued developing a formal model of local policy using lattices to order policies and dependent types to ensure enforcement of privacy policy.
• Continued refining the attestation monad as a model of attestation and appraisal introducing compilation to an attestation virtual machine.
• Submitted a paper describing our collection of attestation architectures for supporting enterprise and mutual attestation.
• Extended the attestation manager design to include late launch via key release where attestation manager boot releases keys as trust is established.

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), online September 22-23, 2020.
• Jurgensen, G., A. Petz, M. Neises and P. Alexander, "An seL4-based Architecture for Layered Attestation," poster presentation at Hot Topics in the Science of Security (HoTSoS'20), online September 22-24, 2020.