{ScaRR}: Scalable Runtime Remote Attestation for Complex Systems

F Toffalini, E Losiouk, A Biondo, J Zhou… - … Symposium on Research …, 2019 - usenix.org
The introduction of remote attestation (RA) schemes has allowed academia and industry to
enhance the security of their systems. The commercial products currently available enable …

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 …

Delegated attestation: scalable remote attestation of commodity cps by blending proofs of execution with software attestation

M Ammar, B Crispo, I De Oliveira Nunes… - Proceedings of the 14th …, 2021 - dl.acm.org
Remote Attestation (RA) is an interaction between a trusted verifier (Vrf) and one or more
remote and potentially compromised devices (provers or Prv-s) that allow the former to …

Advancing remote attestation via computer-aided formal verification of designs and synthesis of executables: opinion

K Eldefrawy, G Tsudik - Proceedings of the 12th Conference on Security …, 2019 - dl.acm.org
Remote Attestation (RA) of embedded/smart/IoT devices is a very important issue on today's
security landscape. RA enables a verifier to measures the current internal memory state of …

Secure edge computing with lightweight control-flow property-based attestation

N Koutroumpouchos, C Ntantogian… - … IEEE Conference on …, 2019 - ieeexplore.ieee.org
The Internet of Things (IoT) is rapidly evolving, while introducing several new challenges
regarding security, resilience and operational assurance. In the face of an increasing attack …

Hardware-assisted remote runtime attestation for critical embedded systems

M Geden, K Rasmussen - … on Privacy, Security and Trust (PST), 2019 - ieeexplore.ieee.org
Remote attestation, as a challenge-response protocol, enables a trusted entity, called
verifier, to ask for an untrusted device, called prover, to provide assurance about its internal …

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

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 …

Remote attestation: A literature review

AS Banks, M Kisiel, P Korsholm - arXiv preprint arXiv:2105.02466, 2021 - arxiv.org
With the rising number of IoT devices, the security of such devices becomes increasingly
important. Remote attestation (RA) is a distinct security service that allows a remote verifer to …

ERASMUS: Efficient remote attestation via self-measurement for unattended settings

X Carpent, G Tsudik… - 2018 Design, Automation …, 2018 - ieeexplore.ieee.org
Remote attestation (RA) is a popular means of detecting malware in embedded and IoT
devices. RA is usually realized as a protocol via which a trusted verifier measures software …