Evidence Tampering and Chain of Custody in Layered Attestations.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
Flexible Mechanisms for Remote Attestation.
ACM Trans. Priv. Secur., 2021
Automated Trust Analysis of Copland Specifications for Layered Attestations✱.
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021