Showing 2024Show all
3 papers · 1 filter
cs.CR2024
TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon +1
Control Flow Attestation (CFA) offers a means to detect control flow hijacking attacks on remote devices, enabling verification of their runtime trustworthiness. CFA generates a tr…
cs.CR2024
SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation
Adam Caulfield, Liam Tyler, Ivan De Oliveira Nunes
At the edge of modern cyber-physical systems, Micro-Controller Units (MCUs) are responsible for safety-critical sensing/actuation. However, MCU cost constraints rule out the usual…
cs.CR2024
Towards Browser Controls to Protect Cookies from Malicious Extensions
Liam Tyler, Ivan De Oliveira Nunes
Cookies maintain state across related web traffic. As such, cookies are commonly used for authentication by storing a user's session ID and replacing the need to re-enter credentia…