咨询与建议

限定检索结果

文献类型

  • 20 篇 会议
  • 10 篇 期刊文献

馆藏范围

  • 30 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 28 篇 工学
    • 21 篇 计算机科学与技术...
    • 15 篇 软件工程
    • 7 篇 电气工程
    • 3 篇 信息与通信工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 控制科学与工程
  • 3 篇 理学
    • 2 篇 生物学
    • 1 篇 数学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 30 篇 self-modifying c...
  • 3 篇 performance
  • 3 篇 program analysis
  • 3 篇 verification
  • 3 篇 dynamic code
  • 3 篇 code obfuscation
  • 2 篇 languages
  • 2 篇 debugging
  • 2 篇 chip multiproces...
  • 2 篇 modular verifica...
  • 2 篇 assembly code ve...
  • 2 篇 power
  • 2 篇 design
  • 2 篇 obfuscation
  • 2 篇 synthesis
  • 2 篇 mesi protocol
  • 2 篇 program represen...
  • 2 篇 gene regulatory ...
  • 2 篇 internal and ext...
  • 2 篇 satisfiability m...

机构

  • 2 篇 tsinghua univ de...
  • 2 篇 georgia inst tec...
  • 2 篇 univ arizona dep...
  • 2 篇 yale univ dept c...
  • 2 篇 intel corp fdc a...
  • 2 篇 microsoft res ca...
  • 1 篇 university of te...
  • 1 篇 nanyang technol ...
  • 1 篇 univ wisconsin d...
  • 1 篇 univ michigan ad...
  • 1 篇 fac sci rabat la...
  • 1 篇 trasmeta corp sa...
  • 1 篇 harbin inst tech...
  • 1 篇 agence natl secu...
  • 1 篇 google sunnyvale...
  • 1 篇 bar ilan univ il...
  • 1 篇 univ texas dalla...
  • 1 篇 nancy univ loria...
  • 1 篇 univ cambridge c...
  • 1 篇 katholieke univ ...

作者

  • 2 篇 ballapuram chinn...
  • 2 篇 wintersteiger ch...
  • 2 篇 dunn sara-jane
  • 2 篇 debray saumya
  • 2 篇 shao zhong
  • 2 篇 sharif ahmad
  • 2 篇 cai hongxu
  • 2 篇 lee hsien-hsin s...
  • 2 篇 kugler hillel
  • 2 篇 vaynberg alexand...
  • 2 篇 hamadi youssef
  • 2 篇 shavit yoli
  • 2 篇 yordanov boyan
  • 1 篇 zhang mingwei
  • 1 篇 klaiber a
  • 1 篇 silberman gm
  • 1 篇 kistler t
  • 1 篇 jon stephens
  • 1 篇 johnson r
  • 1 篇 liang zhihong

语言

  • 28 篇 英文
  • 2 篇 其他
检索条件"主题词=Self-Modifying Code"
30 条 记 录,以下是11-20 订阅
排序:
Trust can be misplaced
收藏 引用
JOURNAL OF CRYPTOGRAPHIC ENGINEERING 2017年 第1期7卷 21-34页
作者: El Idrissi, Noreddine El Janati Bouffard, Guillaume Lanet, Jean-Louis El Hajji, Said Fac Sci Rabat LabMIA Rabat Morocco Agence Natl Securite Syst Informat Secretariat Gen Def & Securite Natl 51Blvd Tour-Maubourg F-75700 Paris France INRIA LHS PEC 263 Ave Gen Leclerc F-35042 Rennes France
Retrieving assets inside a secure element is a challenging task. The most attractive assets are the cryptographic keys stored into the non-volatile memory area. Most of the researches try to obtain cryptographic keys ... 详细信息
来源: 评论
Automated Synthesis and Analysis of Switching Gene Regulatory Networks
收藏 引用
BIOSYSTEMS 2016年 第0期146卷 26-34页
作者: Shavit, Yoli Yordanov, Boyan Dunn, Sara-Jane Wintersteiger, Christoph M. Otani, Tomoki Hamadi, Youssef Livesey, Frederick J. Kugler, Hillel Univ Cambridge Cambridge CB2 1TN England Microsoft Res Cambridge England Bar Ilan Univ IL-52100 Ramat Gan Israel
Studying the gene regulatory networks (GRNs) that govern how cells change into specific cell types with unique roles throughout development is an active area of experimental research. The fate specification process ca... 详细信息
来源: 评论
Analysis of Types of self-Improving Software  8th
Analysis of Types of Self-Improving Software
收藏 引用
8th International Conference on Artificial General Intelligence (AGI)
作者: Yampolskiy, Roman V. Univ Louisville Speed Sch Engn Comp Engn & Comp Sci Louisville KY 40292 USA
Software capable of improving itself has been a dream of computer scientists since the inception of the field. In this work we provide definitions for Recursively self-Improving software, survey different types of sel... 详细信息
来源: 评论
Switching Gene Regulatory Networks  10th
Switching Gene Regulatory Networks
收藏 引用
10th International Conference on Information Processing in Cells and Tissues (IPCAT)
作者: Shavit, Yoli Yordanov, Boyan Dunn, Sara-Jane Wintersteiger, Christoph M. Hamadi, Youssef Kugler, Hillel Univ Cambridge Cambridge England Microsoft Res Cambridge England Bar Ilan Univ Ramat Gan Israel
A fundamental question in biology is how cells change into specific cell types with unique roles throughout development. This process can be viewed as a program prescribing the system dynamics, governed by a network o... 详细信息
来源: 评论
Local and global models of physics and computation
收藏 引用
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS 2014年 第7期43卷 673-681页
作者: Stepney, Susan Univ York Dept Comp Sci York YO10 5DD N Yorkshire England
Classical computation is essentially local in time, yet some formulations of physics are global in time. Here, I examine these differences and suggest that certain forms of unconventional computation are needed to mod... 详细信息
来源: 评论
A New Disassembly Approach for Binary code Using Dynamic Multiple-path Exploration and Static Disassembly
A New Disassembly Approach for Binary Code Using Dynamic Mul...
收藏 引用
3rd International Conference on Mechanical, Control, and Electronic Information (ICMCEI)
作者: Qiu, Jing Su, Xiaohong Ma, Peijun Harbin Inst Technol Harbin 150006 Peoples R China
We present a new approach for disassembling executables with self-modifying code. self-modifying code is very common in malware. Conventional static or dynamic approaches cannot handle self-modifying code very well. W... 详细信息
来源: 评论
Lazy Cache Invalidation for self-modifying codes
Lazy Cache Invalidation for Self-Modifying Codes
收藏 引用
ACM International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES)
作者: Gutierrez, Anthony Pusdesris, Joseph Dreslinski, Ronald G. Mudge, Trevor Univ Michigan Adv Comp Architecture Lab Ann Arbor MI 48109 USA
Just-in-time compilation with dynamic code optimization is often used to help improve the performance of applications that utilize high-level languages and virtual run-time environments, such as those found in smartph... 详细信息
来源: 评论
Certified self-modifying code  07
Certified self-modifying code
收藏 引用
Conference on Programming Language Design and Implementation
作者: Cai, Hongxu Shao, Zhong Vaynberg, Alexander Tsinghua Univ Dept Comp Sci & Technol Beijing 100084 Peoples R China Yale Univ Dept Comp Sci New Haven CT 06520 USA
self-modifying code (SMC), in this paper, broadly refers to any program that loads, generates, or mutates code at runtime. It is widely used in many of the world's critical software systems to support runtime code... 详细信息
来源: 评论
Certified self-modifying code
收藏 引用
ACM SIGPLAN NOTICES 2007年 第6期42卷 66-77页
作者: Cai, Hongxu Shao, Zhong Vaynberg, Alexander Tsinghua Univ Dept Comp Sci & Technol Beijing 100084 Peoples R China Yale Univ Dept Comp Sci New Haven CT 06520 USA
self-modifying code (SMC), in this paper, broadly refers to any program that loads, generates, or mutates code at runtime. It is widely used in many of the world's critical software systems to support runtime code... 详细信息
来源: 评论
A Kripke Logical Relation Between ML and Assembly  11
A Kripke Logical Relation Between ML and Assembly
收藏 引用
38th Symposium on Principles of Programming Languages
作者: Hur, Chung-Kil Dreyer, Derek Max Planck Institute for Software Systems Saarbruecken Germany
There has recently been great progress in proving the correctness of compilers for increasingly realistic languages with increasingly realistic runtime systems Most work on this problem has focused on proving the corr... 详细信息
来源: 评论