68 citations · 108 across the 18 of their papers we have counts for
24 papers
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…
Addressing Network Packet-based Cheats in Multiplayer Games: A Secret Sharing Approach
Yaqi Cai, Konstantinos Markantonakis, Carlton Shepherd
Multiplayer online gaming has witnessed an explosion in popularity over the past two decades. However, security issues continue to give rise to in-game cheating, deterring honest g…
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…
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…
Investigating Black-Box Function Recognition Using Hardware Performance Counters
Carlton Shepherd, Benjamin Semal, Konstantinos Markantonakis
This paper presents new methods and results for recognising black-box program functions using hardware performance counters (HPC), where an investigator can invoke and measure func…
A New Approach to Complex Dynamic Geofencing for Unmanned Aerial Vehicles
Vihangi Vagal, Konstantinos Markantonakis, Carlton Shepherd
The anticipated widespread use of unmanned aerial vehicles (UAVs) raises significant safety and security concerns, including trespassing in restricted areas, colliding with other U…