Showing 2024Show all
2 papers · 1 filter
cs.CR2024
On the Verification of Control Flow Attestation Evidence
Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
Remote run-time attestation methods, including Control Flow Attestation (CFA) and Data Flow Attestation (DFA), have been proposed to generate precise evidence of execution's contro…
cs.CR2024
SoK: Runtime Integrity
Mahmoud Ammar, Adam Caulfield, Ivan De Oliveira Nunes
This paper provides a systematic exploration of Control Flow Integrity (CFI) and Control Flow Attestation (CFA) mechanisms, examining their differences and relationships. It addres…