JENGA: Exploiting Counter-Based RowHammer Countermeasures to Break Real-Time Predictability
该论文针对安全关键实时系统中DRAM RowHammer硬件计数型防御机制(以PRAC为例)对时间可预测性的影响展开研究。安全关键实时系统必须同时满足时间确定性与安全性,任务执行时间需有严格上界(WCET)。然而,RowHammer防御(如
共收录 8 条相关情报。
← 返回所有主题该论文针对安全关键实时系统中DRAM RowHammer硬件计数型防御机制(以PRAC为例)对时间可预测性的影响展开研究。安全关键实时系统必须同时满足时间确定性与安全性,任务执行时间需有严格上界(WCET)。然而,RowHammer防御(如
欧盟法规 (EU) 2024/886 要求欧洲支付服务商在十秒内完成欧元信用转账结算,且全天候运行,这彻底取消了传统反洗钱(AML)分析所依赖的隔夜批处理窗口,也消除了结算延迟带来的追回可能,迫使检测、解释与决策必须在个位数秒级时间内完成。
该论文提出了一种名为 Kage 的全面控制流保护方案,专门针对实时嵌入式系统。实时嵌入式系统在航空航天、汽车、医疗等安全关键领域广泛应用,但其资源受限和实时性要求使得传统控制流完整性(CFI)机制难以直接部署。现有方案要么仅保护部分控制流(
远程证明(RA)是一种轻量级安全原语,用于检测物联网设备上的软件篡改。传统RA方案要求原子性、不可中断的内存测量,难以与实时任务共存。SMARM通过以秘密随机分块顺序测量内存来解决此问题,将不可中断期缩短为单个块测量的持续时间。然而,SMA
本文提出了一种面向无人机(UAV)控制的实时自托管计算机使用代理(RT-SHCUA)。现有的自托管计算机使用代理(SHCUA)设计用于交互式主机端工具使用,允许延迟的代理迭代,但直接应用于无人机控制存在结构不匹配:无人机控制涉及连续变化的物
该论文提出了PhishLang,一个基于MobileBERT的实时、全客户端钓鱼检测框架。传统钓鱼检测方法通常依赖服务器端分析或黑名单,存在延迟、隐私泄露和无法检测新钓鱼站点的问题。PhishLang通过在客户端设备上直接运行轻量级Mobi
该论文提出 HOUSTON,一个针对以太坊去中心化金融(DeFi)协议攻击的实时异常检测系统。研究背景:DeFi 协议遭受多种攻击(如闪电贷攻击、预言机操纵、重入攻击等),现有检测方法多基于规则或签名,难以应对未知攻击且实时性不足。核心问题
这篇论文研究了在低功耗微控制器(例如ARM TrustZone-M)上,实时操作系统(RTOS)的时间保持与可信执行环境(TEE)之间的冲突问题。在TrustZone-M架构中,安全世界和非安全世界共享中断控制器等资源。通常,非安全子系统运