EvoIsolator: Evolving Program Slices for Hardware Isolation Based Security
EvoIsolator: Evolving Program Slices for Hardware Isolation Based Security
复制标题
EvoIsolator：不断发展的程序切片以实现基于硬件隔离的安全性
DOI：
10.1007/978-3-319-99241-9_24
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Mengmei Ye, Myra B.
中科院分区：
文献类型：
--
作者：
Mengmei Ye, Myra B.
为了为当今的应用提供强大的安全支持，微处理器制造商推出了硬件隔离，这是一种提供对敏感数据的安全访问的片上机制。目前，软件开发人员仍然很难使用硬件隔离，因为识别敏感数据访问点的过程容易出错，并可能导致对敏感数据的保护不足和过度。保护不足可能会导致安全漏洞。过度保护可能会导致攻击面增加和通信开销过大。在本文中，我们描述了EvoIsolator，这是一个基于搜索的框架，它(I)自动生成可执行的最小切片，其中包括一组指定敏感数据的所有访问点；(Ii)自动优化(用于小代码块大小和低通信开销)代码模块以实现硬件隔离。通过一个小型的可行性研究，我们演示了我们提议的代码优化器的潜在影响。
To provide strong security support for today’s applications, microprocessor manufacturers have introduced hardware isolation, an on-chip mechanism that provides secure accesses to sensitive data. Currently, hardware isolation is still difficult to use by software developers because the process to identify access points to sensitive data is error-prone and can lead to under and over protection of sensitive data. Under protection can lead to security vulnerabilities. Over protection can lead to an increased attack surface and excessive communication overhead. In this paper we describeEvoIsolator, a search-based framework to (i) automatically generate executable minimal slices that include all access points to a set of specified sensitive data; and (ii) automatically optimize (for small code block size and low communication overhead) the code modules for hardware isolation. We demonstrate, through a small feasibility study, the potential impact of our proposed code optimizer.
TZSlicer：用于硬件隔离的安全感知动态程序切片
DOI：
--
发表时间：
2018
期刊：
IEEE International Symposium on Hardware Oriented Security and Trust
影响因子：
--
作者：
Mengmei Ye;Jonathan M. Sherman;W. Srisa;Sheng Wei
通讯作者：
Sheng Wei
影响因子：
14.3
作者：
Petke J
通讯作者：
Petke J