The final paper in this session was Yadav et al.'s "Non-Bare-Metal User-Space Control-Flow Attestation" on secure low-overhead #CFA for user-space apps despite OS-level adversaries. (www.acsac.org/2025/p...) 6/6
#ControlFlowAttestation #TrustedExecution

Following that was Caulfield et al.'s "SpecCFA: Enhancing Control Flow Attestation and Auditing via Application-Aware Sub-Path Speculation," a novel approach optimizing control flow attestation for resource-constrained MCUs. (www.acsac.org/2024/p...) 5/6
#ControlFlowAttestation

The third paper in this session was Caulfield et al.'s "TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems" ensuring Verifiers receive runtime reports, even from compromised devices. (www.acsac.org/2024/p...) 4/5
#ControlFlowAttestation #TrustedExecution