4 papers · 1 filter
Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
Liam Tyler, Adam Caulfield, Ivan De Oliveira Nunes
Control Flow Attestation (CFA) allows remote verification of run-time software integrity in embedded systems. However, CFA is limited by the storage/transmission costs of generated…
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…
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…
UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices
Liam Tyler, Ivan De Oliveira Nunes
Micro-controller units (MCUs) implement the de facto interface between the physical and digital worlds. As a consequence, they appear in a variety of sensing/actuation applications…