101 citations · 375 across the 17 of their papers we have counts for
3 papers · 1 filter
CFI CaRE: Hardware-supported Call and Return Enforcement for Commercial Microcontrollers
Thomas Nyman, Jan-Erik Ekberg, Lucas Davi +1
With the increasing scale of deployment of Internet of Things (IoT), concerns about IoT security have become more urgent. In particular, memory corruption attacks play a predominan…
LO-FAT: Low-Overhead Control Flow ATtestation in Hardware
Ghada Dessouky, Shaza Zeitouni, Thomas Nyman +5
Attacks targeting software on embedded systems are becoming increasingly prevalent. Remote attestation is a mechanism that allows establishing trust in embedded devices. However, e…
HardScope: Thwarting DOP with Hardware-assisted Run-time Scope Enforcement
Thomas Nyman, Ghada Dessouky, Shaza Zeitouni +4
Widespread use of memory unsafe programming languages (e.g., C and C++) leaves many systems vulnerable to memory corruption attacks. A variety of defenses have been proposed to mit…