As a powerful attack, code reuse attacks (CRAs) have successfully bypassed the data execution protection and other famous defenses, and attracted great attentions from academia and industry. Software-based and hardware-assisted defenses have been proposed to resist CRAs. However, current software-based defenses incur high performance overhead, and hardware-assisted defenses need to modify the instruction set architecture (ISA) and compiler, and suffer some security vulnerabilities such as key exposure. In order to address these issues, this project proposes a new hardware-assisted defense mechanism against CRAs. The main contributions are shown as follows. First, we propose a new hardware-assisted architecture, which avoids modifying the ISA and compiler from the root. Second, Hamming distance (HD) matching and instruction level data hiding are proposed and combined with the physical unclonable function (PUF) to prevent CRAs with low performance overhead and high security. Finally, a reconfigurable PUF structure is proposed to update the key to prevent the advanced full-function reuse attacks. The research of this project will have important scientific significance to improve the security of systems.
代码复用攻击作为一种全新的攻击手段,不需要注入任何恶意代码,仅利用程序已有的合法代码进行攻击,能成功绕过数据执行保护等多种防御机制,引起学术界和工业界的极大关注与研究。当前代码复用攻击防御技术主要有基于软件的方法和硬件辅助的方法。基于软件的方法性能开销过大,难以部署在实际系统中;硬件辅助的方法虽能减少性能开销,但需要扩展指令集和修改编译器,存在密钥泄露等问题。为解决这些问题,本项目提出一种新的硬件辅助防御技术,主要创新如下:首先,提出一种新的硬件辅助抗代码复用攻击的体系结构,从根源上避免了需要修改指令集和编译器的问题;其次,提出汉明距离匹配和指令级数据隐藏技术,结合物理不可克隆函数,以极低的性能开销和高安全性抵抗代码复用攻击;最后,提出一种可重构物理不可克隆函数,使产生的密钥可动态更新,以防御高级的全函数复用攻击。本项目的研究对提高系统的安全性具有重要科学意义。
代码复用攻击(Code Reuse attacks,CRAs)在不注入任何代码的情况下,可以劫持程序控制流进行恶意操作,对计算机系统造成了严重的危害。尽管一系列应对措施已被提出,但是现有防御技术带来了过大的开销,严重降低了计算机整体性能。同时,现有技术可检测的攻击类型有限,安全性仍有待提升。为了解决这两个问题,本项目从硬件电路层和软件系统层的双重视角,开展了硬件辅助抗代码复用攻击关键技术研究。其中,在硬件层,我们研究了轻量级硬件安全原语Physical unclonable function,PUF)的机器学习建模方法,随后面向系统安全性需求,设计了基于PUF的密钥共享方案,并提出了抗机器学习攻击的的三态PUF。在系统软件层,我们探索了敌对样本攻击对机器学习算法安全性的影响,并面向近似机器学习算法设计了有效的安全机制,并研究了缓存侧信道攻防架构,设计了基于PUF的安全分支预测器。最后,我们并从软硬件协同的视角出发,提出了硬件辅助的代码复用攻击检测防御方法。围绕上述研究内容,本项目已取得了丰硕的研究成果,并发表各类学术论文30篇,其中SCI期刊论文16篇、会议论文14篇。项目主持人为第一作者或通信作者发表IEEE/ACM会刊14篇,CCF推荐会议论文12篇;以第一发明人申请且授权国家发明专利4项。项目成果数和质量已远超过项目申请预期指标。
{{i.achievement_title}}
数据更新时间:2023-05-31
硬件木马:关键问题研究进展及新动向
拥堵路网交通流均衡分配模型
面向云工作流安全的任务调度方法
原发性干燥综合征的靶向治疗药物研究进展
三级硅基填料的构筑及其对牙科复合树脂性能的影响
基于控制流监控的代码复用攻击防御技术研究
混沌密码硬件系统抗旁路攻击分析与防御技术研究
抗控制流攻击的硬件扰乱模型及VLSI实现
抗功耗攻击安全芯片关键技术研究