Decoupling Reentrancy Protection from Smart Contract Implementation Logic
本论文针对去中心化应用(DApps)中持续存在的重入攻击威胁,提出了一种名为Sentinel的新型代理方法。重入攻击利用以太坊虚拟机(EVM)的合约间消息传递语义,去年已导致约8000万美元的损失。现有研究主要聚焦于检测,依赖已知攻击模式,
共收录 50 条相关情报。
← 返回所有主题本论文针对去中心化应用(DApps)中持续存在的重入攻击威胁,提出了一种名为Sentinel的新型代理方法。重入攻击利用以太坊虚拟机(EVM)的合约间消息传递语义,去年已导致约8000万美元的损失。现有研究主要聚焦于检测,依赖已知攻击模式,
本文提出了一种名为EnThM的轻量级、通信高效的智能电网窃电实时缓解方案。针对传统电力网络数字化转型后窃电问题依然严峻的现状,作者利用智能电网的分层基础设施结构,在配电网络的多级层次上验证计量数据的真实性。核心方法包括:对用电数据的累积平均
该论文提出了 TriSweep,一个基于四无人机蜂群架构的仿真框架,用于对嵌入式微控制器进行远程电磁侧信道分析(EM-SCA)。传统 EM-SCA 威胁模型假设探头静止且贴近目标,低估了空中移动平台的攻击能力。TriSweep 包含三架专用
本文提出将集合塑造理论(Set Shaping Theory, SST)作为一种可逆的载荷整形层,用于基于最低有效位(LSB)的图像隐写术。该方法并非要取代现有的隐写嵌入方案,而是作为一个预处理阶段,使现有嵌入方法更容易应用且引入更低的统计
本文提出了一种名为BIDO(Biometric Identity Online)的无设备生物特征认证标准。传统的身份认证系统往往依赖于用户携带物理令牌、智能卡等硬件,或者存储长期生物特征模板,存在隐私泄露和资源消耗问题。BIDO旨在实现与N
该论文介绍了一个名为“Quantum Futures Interactive”的实时交互演示平台,旨在应对量子计算对区块链和分布式应用带来的长期安全挑战。随着量子计算的发展,广泛使用的公钥密码系统(如RSA、ECC)面临被破解的风险,这威胁
本文针对SQL注入(SQLi)攻击这一长期位列OWASP Top 10的安全威胁,探索利用大型语言模型(LLM)自动化生成对抗性SQL注入测试载荷的方法。作者提出了两种新型基于LLM的系统:RADAGAS(基于检索增强生成的对抗性SQLi生
随着新太空时代的发展,近地轨道上由独立实体运营的卫星数量激增,这带来了更丰富的空间服务需求,但也要求安全、近实时的协调。高效的太空资产认证对于下一代任务至关重要。传统依赖地面的公钥基础设施(PKI)存在延迟和操作瓶颈,限制了在动态太空环境中
随着数据密集型应用的扩展和数据量的增加,处理器与主存之间频繁传输大量数据导致的能耗增长和性能下降成为严峻挑战。同时,数据传输过程中的安全脆弱性也日益凸显。忆阻器计算内存阵列(CIM-A)架构通过将计算融入内存,减少了数据搬运,从而缓解了上述
该论文针对审计专有数据语义属性时的隐私与透明矛盾,提出了一种名为“Agentic Witnessing”的框架。传统方法如零知识证明(ZKP)适用于精确代数约束,但难以验证定性、非结构化属性(如代码库中的逻辑)。该框架将验证从可证明执行扩展