Formally verified bundling and appraisal of evidence for layered attestations

Document Details

Document Type: Pub Defense Publication
Publication Date: Sep 04, 2022
Source ID: 10.1007/s11334-022-00475-1

Entities

People

Adam Petz
Perry Alexander

Organizations

Defense Advanced Research Projects Agency
National Security Agency