Efficient Control Flow Attestation by Speculating on Control Flow Path Representations

Liam Tyler, Adam Caulfield, Ivan De Oliveira Nunes

Control Flow Attestation (CFA) allows remote verification of run-time software integrity in embedded systems. However, CFA is limited by the storage/transmission costs of generated…