课题基金 / 基金详情

On Esoteric language Malbolge for software protection

On Esoteric language Malbolge for software protection
论用于软件保护的 Esoteric 语言 Malbolge
批准号:
22650003
负责人:
SAKAI Masahiko
金额:
$1.55万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Challenging Exploratory Research
财政年份:
2010
资助国家:
日本
项目状态:
已结题
起止时间:
2010 至 2012

项目摘要

项目成果

SAKAI Masahiko的其他基金

相关文献

中文摘要
翻译
本研究的目的是为Malbolge开发理论,这是最难读取/修改的程序语言之一,以便将该语言用于软件保护。为了克服最大的问题,即程序的编写困难,我们证明了它的图灵完备性,并建立了生成Malbolge程序的基本方法。
英文摘要
The purpose of this research is to develop theories for Malbolge, which is one of the most difficult program languages to read/alter, in order to use the language for software protection. To overcome the biggest problem, that is the difficulty of writing program, we have shown its Turing completeness and established a basic method to produce programs of Malbolge.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング
用于查找实现三元函数的 Malbolge 指令序列的 SAT 编码
DOI: --
发表时间: 2012
期刊: 電子情報通信学会 電子情報通信学会技術報告
影响因子: --
作者: [安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹 (安藤聡)]
通讯作者: 西田直樹 (安藤聡)
Malbolge低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用
使用 SAT 求解器进行 Malbolge 低级汇编编程中的控制指令布局设计
DOI: --
发表时间: 2012
期刊: 電子情報通信学会 電子情報通信学会技術報告
影响因子: --
作者: [安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹 (安藤聡)]
通讯作者: 西田直樹 (安藤聡)
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
  • 批准号:
    18500011
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 资助金额:
    $2.55万
  • 财政年份:
    2006
  • 负责人:
    SAKAI Masahiko
  • 依托单位:
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Programs
  • 批准号:
    15500007
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 资助金额:
    $1.6万
  • 财政年份:
    2003
  • 负责人:
    SAKAI Masahiko
  • 依托单位:
Fundamental research on software verification based on algebraic method