该论文针对远程部署的低成本微控制器单元（MCU）的安全审计问题展开研究。MCU因其低功耗和高能效，越来越多地被用于关键任务场景，但其固有的安全漏洞使其易受攻击。控制流证明（CFA）是一种远程检测攻击的技术，通过记录任务执行期间的所有控制流转移（CFLog），使验证者（Vrf）能够检测到非法改变软件或运行时行为的攻击。然而，现有的CFA技术无法确保当证明者（Prv）被攻陷时，Vrf仍能接收到CFLog，因为攻陷后的Prv可以忽略CFA请求，从而阻止Vrf进行漏洞分析。为此，本文提出了两种运行时审计架构，旨在确保运行时证据的可靠交付，使Vrf能够对检测到的入侵进行修复。第一种方法采用硬件-软件协同设计，通过修改硬件或固件来保证证据传输；第二种方法利用可信执行环境（TEE）在无需硬件修改的情况下提供相同的保证。未来工作将聚焦于应用特定的存储/延迟优化以及运行时证据的自动化漏洞分析。该研究对于保障物联网设备、工业控制系统等嵌入式系统的安全远程验证具有重要价值。