68 citations · 78 across the 12 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
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…
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…