Quantum Static Remote Attestation

Quantum information processing has proven to be beneficial to several domains, including security. Quantum Cryptography allows to construct unconditionally secure implementations of some primitives, and lots of work has been done to prove their security. However, classical security often follows a more practical path, in which one is happy to mitigate some attacks, even if no mathematical proof is provided. In this work, we investigate the practical benefits that quantum information can offer to the protocol of Static Remote Attestation. We propose two protocols, QuRA1 and QuRA2, that use the concept of quantum sentinel to detect malicious modification to the Prover's program memory. We informally analyze their security and show that they are able to detect past attacks, a feature that is not classically achievable.