9 papers · 1 filter
SABLE: Minimalist Instruction-Level Authenticated Encryption for Constrained Confidential Computing
Hamid Noori, Carlton Shepherd
Conventional processor designs expose code and data as plaintext throughout execution, rendering them inherently vulnerable to attacks that recover intellectual property or modify…
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…
Privacy-Enhancing Fall Detection from Remote Sensor Data Using Multi-Party Computation
Pradip Mainali, Carlton Shepherd
Motion-based fall detection systems are concerned with detecting falls from vulnerable users, which is typically performed by classifying measurements from a body-worn inertial mea…
Privacy-Enhancing Context Authentication from Location-Sensitive Data
Pradip Mainali, Carlton Shepherd, Fabien A. P. Petitcolas
This paper proposes a new privacy-enhancing, context-aware user authentication system, ConSec, which uses a transformation of general location-sensitive data, such as GPS location,…
Remote Credential Management with Mutual Attestation for Trusted Execution Environments
Carlton Shepherd, Raja N. Akram, Konstantinos Markantonakis
Trusted Execution Environments (TEEs) are rapidly emerging as a root-of-trust for protecting sensitive applications and data using hardware-backed isolated worlds of execution. TEE…