推荐 6.6
Conf: 50%
该论文针对安全关键实时系统中DRAM RowHammer硬件计数型防御机制(以PRAC为例)对时间可预测性的影响展开研究。安全关键实时系统必须同时满足时间确定性与安全性,任务执行时间需有严格上界(WCET)。然而,RowHammer防御(如DDR5标准中的PRAC)在引入后会造成额外的访存延迟,现有评估仅关注平均性能,忽视了最坏情况下对实时任务时序的破坏。作者通过仿真证明,攻击者可以刻意操纵PRAC计数器的内部状态(例如频繁激活特定行)来触发防御机制的刷新与计数阈值,从而显著延迟受害任务的执行,使其超过既定WCET,甚至达到WCET的200%。论文将这种跨域干扰攻击命名为JENGA,并基于gem5与Ramulator 2.0仿真环境在TACLeBench工作负载上量化其影响。为修复该问题,作者推导了一个可安全集成到WCET分析中的解析上界公式,该公式考虑了硬件计数防御(如PRAC-N)带来的最坏情况延迟。该研究打破了过去将RowHammer防御视为“透明”安全补丁的假设,揭示出安全机制本身可成为侧信道攻击面。适合实时系统设计者、WCET分析工具开发者及安全研究员阅读。
💡 推荐理由: 首次揭示RowHammer硬件计数防御(如PRAC)可被恶意任务利用来破坏实时系统的时间隔离,使WCET保证失效,影响安全关键应用(如自动驾驶、航空电子)。
🎯 建议动作: 研究跟进
排序因子: 有可用补丁/修复方案 (+3) | 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.6)