RARES: Runtime Attack Resilient Embedded System Design Using Verified Proof-of-Execution. (arXiv:2305.03266v1 [cs.CR])

Modern society is getting accustomed to the Internet of Things (IoT) and
Cyber-Physical Systems (CPS) for a variety of applications that involves
security-critical user data and information transfers. In the lower end of the
spectrum, these devices are resource-constrained with no attack protection.
They become a soft target for malicious code modification attacks that steals
and misuses device data in malicious activities. The resilient system requires
continuous detection, prevention, and/or recovery and correct code execution
(including in degraded mode). By …

applications attack cps critical cyber data design devices embedded end information internet internet of things iot physical protection runtime security society spectrum system systems target things user data verified