标题： 通过推测控制流路径表示的高效控制流认证 显示英文标题

标题： Efficient Control Flow Attestation by Speculating on Control Flow Path Representations

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

摘要： Control Flow Attestation (CFA) allows remote verification of run-time software integrity in embedded systems. However, CFA is limited by the storage/transmission costs of generated control flow logs (CFlog). Recent work has proposed application-specific optimizations by speculating on likely sub-paths in CFlog and replacing them with reserved symbols at runtime. Albeit effective, prior approaches do not consider the representation of addresses in a control flow path for speculation. This work proposes RESPEC-CFA, an architectural extension for CFA allowing for speculation on (1) the locality of control flows and (2) their Huffman encoding. Alone, RESPEC-CFA reduces CFlog sizes by up to 90.1%. Combined with prior methods, RESPEC-CFA yields reductions of up to 99.7%, representing a significant step toward practical CFA.