SMARM+: Analyzing and Enhancing Shuffled Measurements for Remote Attestation in Real-Time IoT Settings

arXiv:2607.23698 · cs.CR · Submitted 2026-07-26 · Read on arXiv

Amarin Laohajirapan, Norrathep Rattanavipanon

cs.CR

Submitted: 2026-07-26

Comments: Submitted to IEEE Access

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Remote Attestation — 23× in this paper
Verifier — 21× in this paper · explained in 2 episodes
Core — 8× in this paper · explained in 2 episodes
Accuracy — 7× in this paper · explained in 1 episode
Frequency Accuracy Ratio — 7× in this paper
Formal Verification — 3× in this paper · explained in 2 episodes
IEEE Design Automation Conference — 3× in this paper
Verification — 3× in this paper · explained in 2 episodes
Hardware Oriented Security and Trust — 1× in this paper
Knowledge of Future Volume — 1× in this paper
National Institute of Standards and Technology — 1× in this paper
Nested Vectored Interrupt Controller — 1× in this paper
Non-Secure Callable — 1× in this paper
Security Attribution Unit — 1× in this paper
Trusted Execution Environment — 1× in this paper

Related papers