高效控制流验证：通过推测控制流路径表示实现性能突破

摘要：控制流验证（CFA）技术使得嵌入式系统中的运行时软件完整性能够进行远程验证。然而，CFA受到生成的控制流日志（CFlog）存储和传输成本的限制。近期研究提出了应用特定优化方法，通过在运行时推测CFlog中的可能子路径并用保留符号替换它们。尽管有效，但现有方法未考虑控制流路径中地址的表示方式进行推测。本研究提出RESPEC-CFA，一种用于CFA的架构扩展，允许对（1）控制流的局部性和（2）其霍夫曼编码进行推测。单独使用RESPEC-CFA可将CFlog大小减少高达90.1%。结合现有方法，RESPEC-CFA可实现高达99.7%的减少，这标志着向实用CFA迈出了重要一步。

主题分类：密码学与安全（cs.CR）

引用信息：arXiv:2507.12345 [cs.CR]

提交历史：2025年7月16日由Liam Tyler提交

全文链接：

• 查看论文PDF
• HTML实验版本
• TeX源码及其他格式

相关工具与资源：

• 文献浏览器
• 关联论文
• 智能引用
• 代码与数据资源（CatalyzeX、Papers with Code等）
• 演示平台（Replicate、Hugging Face Spaces等）

致谢：感谢Simons基金会、成员机构及所有贡献者的支持。