[HTML][HTML] PROVE: Provable remote attestation for public verifiability

E Dushku, MM Rabbani, J Vliegen, A Braeken… - Journal of Information …, 2023 - Elsevier
The expanding attack surface of Internet of Things (IoT) systems calls for innovative security
approaches to verify the reliability of IoT devices. To this end, Remote Attestation (RA) …

RADIS: Remote attestation of distributed IoT services

M Conti, E Dushku, LV Mancini - 2019 Sixth International …, 2019 - ieeexplore.ieee.org
Remote attestation is a security technique through which a remote trusted party (ie, Verifier)
checks the trust-worthiness of a potentially untrusted device (ie, Prover). In the Internet of …

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 …

{SCRAPS}: Scalable collective remote attestation for {Pub-Sub}{IoT} networks with untrusted proxy verifier

L Petzi, AEB Yahya, A Dmitrienko, G Tsudik… - 31st USENIX Security …, 2022 - usenix.org
Remote Attestation (RA) is a basic security mechanism that detects malicious presence on
various types of computing components, eg, IoT devices. In a typical IoT setting, RA involves …

MTRA: Multi-Tier randomized remote attestation in IoT networks

H Tan, G Tsudik, S Jha - Computers & Security, 2019 - Elsevier
Large numbers of Internet of Things (IoT) devices are increasingly deployed in many
aspects of modern life. Given their limited resources and computational power, verifying …

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 …

{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 …

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 …

Privilege-based remote attestation: Towards integrity assurance for lightweight clients

T Rauter, A Höller, N Kajtazovic, C Kreiner - … of the 1st ACM Workshop on …, 2015 - dl.acm.org
Remote attestation is used to assure the integrity of a trusted platform (prover) to a remote
party (challenger). Traditionally, plain binary attestation (ie, attesting the integrity of software …

ARCADIS: asynchronous remote control-flow attestation of distributed IoT services

RM Halldórsson, E Dushku, N Dragoni - IEEE Access, 2021 - ieeexplore.ieee.org
Remote attestation (RA) is a security mechanism that verifies the trustworthiness of remote
IoT devices. Traditional RA protocols aim to detect the presence of malicious code in the …