Linked Presentation: ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation