Confidaent: Control FLow protection with Instruction and Data Authenticated Encryption

O. Savry, Mustapha El-Majihi, Thomas Hiscock
{"title":"Confidaent: Control FLow protection with Instruction and Data Authenticated Encryption","authors":"O. Savry, Mustapha El-Majihi, Thomas Hiscock","doi":"10.1109/DSD51259.2020.00048","DOIUrl":null,"url":null,"abstract":"Computing devices became part of our daily world. But being physically accessible they are exposed to a very large panel of physical attacks, which are most of the time underestimated. These systems must include protections against these attacks in order to keep user data secret and safe. In this work, we argue that addressing the security requirements of embedded processors with independent countermeasures is not the most efficient strategy and may introduce security flaws in the process. Instead, we suggest a more monolithic approach to security design. Following this idea, we propose a new efficient and flexible memory encryption & authentication mechanism called CONFIDAENT, that can protect code and data in embedded processors. On the top of this primitive, we build a strong Control Flow Integrity (CFI) countermeasure. We describe a RISC-V instruction set extension to support these mechanisms and the compiler support needed in the LLVM framework. This new countermeasure is developed on a modified RISCY RISCV core and its performances are evaluated on a FPGA target. We conclude that a truly high-security can be achieved, with an overhead factor of $\\times 2.66$ up to $\\times 3.73$ on execution time of benchmarks programs.","PeriodicalId":128527,"journal":{"name":"2020 23rd Euromicro Conference on Digital System Design (DSD)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 23rd Euromicro Conference on Digital System Design (DSD)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DSD51259.2020.00048","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 9

Abstract

Computing devices became part of our daily world. But being physically accessible they are exposed to a very large panel of physical attacks, which are most of the time underestimated. These systems must include protections against these attacks in order to keep user data secret and safe. In this work, we argue that addressing the security requirements of embedded processors with independent countermeasures is not the most efficient strategy and may introduce security flaws in the process. Instead, we suggest a more monolithic approach to security design. Following this idea, we propose a new efficient and flexible memory encryption & authentication mechanism called CONFIDAENT, that can protect code and data in embedded processors. On the top of this primitive, we build a strong Control Flow Integrity (CFI) countermeasure. We describe a RISC-V instruction set extension to support these mechanisms and the compiler support needed in the LLVM framework. This new countermeasure is developed on a modified RISCY RISCV core and its performances are evaluated on a FPGA target. We conclude that a truly high-security can be achieved, with an overhead factor of $\times 2.66$ up to $\times 3.73$ on execution time of benchmarks programs.
信心:控制流保护与指令和数据身份验证加密
计算设备成为我们日常生活的一部分。但是,由于物理上的可访问性,它们暴露在非常大的物理攻击面板中,这在大多数情况下被低估了。这些系统必须包含针对这些攻击的保护措施,以保证用户数据的机密性和安全性。在这项工作中,我们认为用独立的对策来解决嵌入式处理器的安全需求并不是最有效的策略,并且可能在此过程中引入安全缺陷。相反,我们建议采用更统一的安全设计方法。基于这一思想,我们提出了一种新的高效灵活的内存加密与认证机制,称为confaent,它可以保护嵌入式处理器中的代码和数据。在这个原语的基础上,我们构建了一个强大的控制流完整性(CFI)对策。我们描述了一个RISC-V指令集扩展来支持这些机制和LLVM框架中所需的编译器支持。在改进的RISCY RISCV内核上开发了这种新型对抗策略,并在FPGA靶上对其性能进行了测试。我们得出结论,真正的高安全性是可以实现的,在基准程序的执行时间上,开销系数在$ $ × 2.66$到$ $ × 3.73$之间。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信