223 citations · 768 across the 51 of their papers we have counts for
3 papers · 1 filter
Formally Verified Hardware/Software Co-Design for Remote Attestation
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon +2
In this work, we take the first step towards formal verification of Remote Attestation (RA) by designing and verifying an architecture called VRASED: Verifiable Remote Attestation…
Thermanator: Thermal Residue-Based Post Factum Attacks On Keyboard Password Entry
Tyler Kaczmarek, Ercan Ozturk, Gene Tsudik
As a warm-blooded mammalian species, we humans routinely leave thermal residues on various objects with which we come in contact. This includes common input devices, such as keyboa…
ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices
N. Asokan, Thomas Nyman, Norrathep Rattanavipanon +2
Secure firmware update is an important stage in the IoT device life-cycle. Prior techniques, designed for other computational settings, are not readily suitable for IoT devices, si…