TY - RPRT TI - RARES: Runtime Attack Resilient Embedded System Design Using Verified Proof-of-Execution AU - Avani Dave Nilanjan Banerjee Chintan Patel PY - 2023 UR - https://arxiv.org/abs/2305.03266 ID - 2305.03266 ER -