A Framework for Policy Based Negotiation. - Anna Fritz; Perry Alexander (NFM, 2023)

Verified Configuration and Deployment of Layered Attestation Managers. - Adam Petz; Will Thomas; Anna Fritz; T. J. Barclay; Logan Schmalz; Perry Alexander (SEFM, 2024)