HardScope: Thwarting DOP with Hardware-assisted Run-time Scope Enforcement
C-FLAT: Control-Flow Attestation for Embedded Systems Software