3 papers
cs.CR2026
KS-CFA: Control-Flow Attestation via Symbolic Replay Against Control-Flow Bending Attacks
Zhanyu Sha, Konstantinos Markantonakis, Carlton Shepherd +1
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…
cs.CR2024
Control-Flow Attestation: Concepts, Solutions, and Open Challenges
Zhanyu Sha, Carlton Shepherd, Amir Rafi +1
Control-flow attestation unifies the worlds of control-flow integrity and platform attestation by measuring and reporting a target's run-time behaviour to a verifier. Trust assuran…
cs.CR2023
A First Look at Digital Rights Management Systems for Secure Mobile Content Delivery
Amir Rafi, Carlton Shepherd, Konstantinos Markantonakis
Digital rights management (DRM) solutions aim to prevent the copying or distribution of copyrighted material. On mobile devices, a variety of DRM technologies have become widely de…