KS-CFA: Control-Flow Attestation Via Symbolic Replay against Control-Flow Bending Attacks

Control-flow attestation CFA enables a remote entity to verify program execution on a target device by monitoring control-flow behaviour at runtime. However, control-flow bending CFB attacks remain difficult to detect, where an adversary steers execution along legal edges of the program's...