{VRASED}: A verified {Hardware/Software}{Co-Design} for remote attestation

IDO Nunes, K Eldefrawy, N Rattanavipanon… - 28th USENIX Security …, 2019 - usenix.org
Remote Attestation (RA) is a distinct security service that allows a trusted verifier (Vrf) to
measure the software state of an untrusted remote prover (Prv). If correctly implemented, RA …

HYDRA: hybrid design for remote attestation (using a formally verified microkernel)

K Eldefrawy, N Rattanavipanon, G Tsudik - Proceedings of the 10th ACM …, 2017 - dl.acm.org
Remote Attestation (RA) allows a trusted entity (verifier) to securely measure internal state of
a remote untrusted hardware platform (prover). RA can be used to establish a static or …

C-FLAT: control-flow attestation for embedded systems software

T Abera, N Asokan, L Davi, JE Ekberg… - Proceedings of the …, 2016 - dl.acm.org
Remote attestation is a crucial security service particularly relevant to increasingly popular
IoT (and other embedded) devices. It allows a trusted party (verifier) to learn the state of a …

A minimalist approach to remote attestation

A Francillon, Q Nguyen… - … Design, Automation & …, 2014 - ieeexplore.ieee.org
Embedded computing devices increasingly permeate many aspects of modern life: from
medical to automotive, from building and factory automation to weapons, from critical …

Darpa: Device attestation resilient to physical attacks

A Ibrahim, AR Sadeghi, G Tsudik… - Proceedings of the 9th …, 2016 - dl.acm.org
As embedded devices (under the guise of" smart-whatever") rapidly proliferate into many
domains, they become attractive targets for malware. Protecting them from software and …

Lightweight swarm attestation: A tale of two lisa-s

X Carpent, K ElDefrawy, N Rattanavipanon… - … of the 2017 ACM on Asia …, 2017 - dl.acm.org
In the last decade, Remote Attestation (RA) emerged as a distinct security service for
detecting attacks on embedded devices, cyber-physical systems (CPS) and Internet of …

On the TOCTOU problem in remote attestation

I De Oliveira Nunes, S Jakkamsetti… - Proceedings of the …, 2021 - dl.acm.org
Much attention has been devoted to verifying software integrity of remote embedded (IoT)
devices. Many techniques, with different assumptions and security guarantees, have been …

Simple: A remote attestation approach for resource-constrained iot devices

M Ammar, B Crispo, G Tsudik - 2020 ACM/IEEE 11th …, 2020 - ieeexplore.ieee.org
Remote Attestation (RA) is a security service that detects malware presence on remote IoT
devices by verifying their software integrity by a trusted party (verifier). There are three main …

Collective remote attestation at the Internet of Things scale: State-of-the-art and future challenges

M Ambrosin, M Conti, R Lazzeretti… - … Surveys & Tutorials, 2020 - ieeexplore.ieee.org
In recent years, the booming of Internet of Things (IoT) has populated the world with billions
of smart devices that implement novel services and applications. The potential for …

Atrium: Runtime attestation resilient under memory attacks

S Zeitouni, G Dessouky, O Arias… - 2017 IEEE/ACM …, 2017 - ieeexplore.ieee.org
Remote attestation is an important security service that allows a trusted party (verifier) to
verify the integrity of a software running on a remote and potentially compromised device …