Verified Configuration and Deployment of Layered Attestation Managers.

Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander

Browse the full SEFM paper archive.