Lorenzo Martinico, Markulf Kohlweiss. AGATE: Augmented Global Attested Trusted Execution in the Universal Composability Framework. In 38th IEEE Computer Security Foundations Symposium, CSF 2025, Santa Cruz, CA, USA, June 16-20, 2025. pages 49-64, IEEE, 2025. [doi]
Abstract is missing.