Scalable Trust Semantics & Infrastructure — 2022 Q4

PI(s): Perry Alexander

RESEARCHER(s):

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

PUBLIC ACCOMPLISHMENT HIGHLIGHTS:

• Continued development of protocol negotiation refining the definitions of soundness and sufficiency
• Continued development of manifests as mathematical objects and implementation infrastructure
• Began defining and implementing a manifest compiler for fielding collections of attestation managers

PUBLICATIONS FROM THE QUARTER:

• Fritz, A. "Policy Based Attestation Protocol Negotiation," International Symposium on Formal Methods Doctoral Symposium (FM'23), Lubeck, Germany, March 7-9, 2023.