检索结果-内蒙古大学图书馆

16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (MPLR)

作者： Hartley, Tim Zakkak, Foivos S. Kotselidis, Christos Lujan, Mikel Univ Manchester Manchester Lancs England

ISBN: (纸本)9781450369770

With micro-services continuously gaining popularity and low-power processors making their way into data centers, efficient execution of managed runtime systems on low-power architectures is also gaining interest. Apart from the inherent performance differences between high and low power processors, porting a managed runtime system to a low-power architecture may result in spuriously introducing additional overheads and design trade-offs. In this work we investigate how the lack of strong hardware support for self modifying code (SMC) in low-power architectures, influences Just-In-Time (JIT) compilation and execution in modern virtual machines. In particular, we examine how low-power architectures, with no or limited hardware support for SMC, impose restrictions on call-site implementations, when the latter need to be patchable by the runtime system. We present four different memory-safe implementations for call-site generation and discuss their advantages and disadvantages in the absence of strong hardware support for SMC. Finally, we evaluate each technique on different workloads using micro-benchmarks and we evaluate the best two techniques on the Dacapo benchmark suite showcasing performance differences up to 15%.

关键词： JIT compilation self modifying code AArch64 RISC

来源：评论

学校读者我要写书评

暂无评论

The Hell Forgery self modifying codes Shoot Again 15th

The Hell Forgery Self Modifying Codes Shoot Again

引用

15th International Conference on Smart Card Research and Advanced Applications (CARDIS)

作者： Mesbah, Abdelhak Regnaud, Leo Lanet, Jean-Louis Mezghiche, Mohamed Univ Mohamed Bougara Boumerdes LIMOSE Lab Comp Sci Dept Fac Sci Boumerdes Algeria Univ Limoges 123 Ave T Thomas F-87000 Limoges France INRIA RBA LHS PEC Campus Beaulieu263 Ave Gen Leclerc F-35042 Rennes France

ISBN: (纸本)9783319546698;9783319546681

We present in this paper a new approach to gain access to assets of a smart card. It is based on the concept of reference forgery and array extension. We characterize the metadata of the objects and we use a weakness in the system to retrieve these data. We are able to generate arbitrary but well formed references which allow us to execute self modifying Java program inside the card. This hostile program is able to dump the complete Non Volatile Memory (NVM) memory segment.

关键词： Java Card Logical attack Reference forgery self modifying code

来源：评论

学校读者我要写书评

暂无评论

Proposal of a High-Level Language for Writing self modifying Programs

引用

IEEE LATIN AMERICA TRANSACTIONS 2011年第2期9卷 192-198页

作者： da Silva, S. R. B. Neto, J. J. Univ Estado Amazonas Curso Engn Computacao Manaus Amazonas Brazil Univ Sao Paulo Escola Politecn Sao Paulo Brazil

This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program's code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.

关键词： Adaptivity programming language self modifying code adaptive technology

来源：评论

学校读者我要写书评

暂无评论

Countermeasures Mitigation for Designing Rich Shell code in Java Card 1st

Countermeasures Mitigation for Designing Rich Shell Code in ...

引用

1st International Conference on codes, Cryptology, and Information Security (C2SI) In Honor of Thierry Berger

作者： El Janati El Idrissi, Noreddine El Hajji, Said Lanet, Jean-Louis Univ Mohammed 5 Fac Sci Lab Math Comp & Applicat Rabat Morocco INRIA LHS PEC F-35042 Rennes France

ISBN: (纸本)9783319186818;9783319186801

Recently, it has been published that Java based smart cards are still exposed to logical attacks. These attacks take advantage of the lack of a full verification and dynamically use a type of confusion. Countermeasures have been introduced on recent smart card to avoid executing rich shell code and particulary dynamic bound checking of the code segment. We propose here a new attack path for performing a type confusion that leads to a Java based self modifying code. Then, to mitigate this new attack an improvement to the previous countermeasure is proposed.

关键词： Smart Card Shell code self modifying code

来源：评论

学校读者我要写书评

暂无评论

Just-In-Time Compilation on ARM-A Closer Look at Call-Site code Consistency

引用

ACM TRANSACTIONS ON ARCHITECTURE AND code OPTIMIZATION 2022年第4期19卷 54-54页

作者： Hartley, Tim Zakkak, Foivos S. Nisbet, Andy Kotselidis, Christos Lujan, Mikel Univ Manchester Oxford Rd Manchester M13 9PL Lancs England Red Hat Inc Farnborough GU14 7JP Hants England

The increase in computational capability of low-power Arm architectures has seen them diversify from their more traditional domain of portable battery powered devices into data center servers, personal computers, and even Supercomputers. Thus, managed languages (Java, Javascript, etc.) that require a managed runtime environment (MRE) need to be ported to the Arm architecture, requiring an understanding of different design tradeoffs. This article studies how the lack of strong hardware support for self modifying code (SMC) in low-power architectures (e.g., absence of cache coherence between instruction cache and data caches), affects Just-InTime (JIT) compilation and runtime behavior in MREs. Specifically, we focus on the implementation and treatment of call-sites, that must maintain code consistency in the face of concurrent execution and modification to redirect control (patching) by the MRE. The lack of coherence, is compounded with the maximum distance (reach of) a call-site can jump to as the reach is more constrained (smaller distance) in Arm when compared with Intel/AMD. We present four different robust implementations for call-sites and discuss their advantages and disadvantages in the absence of strong hardware support for SMC. Finally, we evaluate each approach using a microbenchmark, further evaluating the best three techniques using three JVM benchmark suites and the open source MaxineVM showcasing performance differences up to 12%. Based on these observations, we propose extending code-cache partitioning strategies for JIT compiled code to encourage more efficient local branching for architectures with limited direct branch ranges.

关键词： JIT compilation self modifying code AArch64 RISC

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：