A survey of remote attestation in Internet of Things: Attacks, countermeasures, and prospects
The explosive growth of the Internet of Things (IoT) devices is an inevitable trend, especially
considering the fact that 5G technology facilitates numerous services building on IoT …
considering the fact that 5G technology facilitates numerous services building on IoT …
Sok: Runtime integrity
This paper provides a systematic exploration of Control Flow Integrity (CFI) and Control Flow
Attestation (CFA) mechanisms, examining their differences and relationships. It addresses …
Attestation (CFA) mechanisms, examining their differences and relationships. It addresses …
{VRASED}: A verified {Hardware/Software}{Co-Design} for remote attestation
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 …
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 …
devices. Many techniques, with different assumptions and security guarantees, have been …
{APEX}: A verified architecture for proofs of execution on remote devices under full software compromise
Modern society is increasingly surrounded by, and is growing accustomed to, a wide range
of Cyber-Physical Systems (CPS), Internet-of-Things (IoT), and smart devices. They often …
of Cyber-Physical Systems (CPS), Internet-of-Things (IoT), and smart devices. They often …
SoK: Integrity, Attestation, and Auditing of Program Execution
This paper provides a systematic exploration of Control Flow Integrity (CFI) and Control Flow
Attestation (CFA) mechanisms, examining their differences and relationships. It addresses …
Attestation (CFA) mechanisms, examining their differences and relationships. It addresses …
FeSA: Automatic federated swarm attestation on dynamic large-scale iot devices
Swarm attestation, as an important branch of Remote Attestation (RA), enables a trusted
party (verifier) to verify the security states of multiple devices (provers) in a large network …
party (verifier) to verify the security states of multiple devices (provers) in a large network …
Verify&revive: Secure detection and recovery of compromised low-end embedded devices
M Ammar, B Crispo - Proceedings of the 36th Annual Computer Security …, 2020 - dl.acm.org
Tiny and specialized computing platforms, so-called embedded or Internet of Things (IoT)
devices, are increasingly used in safety-and privacy-critical application scenarios. A …
devices, are increasingly used in safety-and privacy-critical application scenarios. A …
Towards systematic design of collective remote attestation protocols
Networks of and embedded (IoT) devices are becoming increasingly popular, particularly, in
settings such as smart homes, factories and vehicles. These networks can include numerous …
settings such as smart homes, factories and vehicles. These networks can include numerous …
Reconciling remote attestation and safety-critical operation on simple iot devices
Remote attestation (RA) is a means of malware detection, typically realized as an interaction
between a trusted verifier and a potentially compromised remote device (prover). RA is …
between a trusted verifier and a potentially compromised remote device (prover). RA is …