课题基金 / 基金详情

On Esoteric language Malbolge for software protection

On Esoteric language Malbolge for software protection
论用于软件保护的 Esoteric 语言 Malbolge
批准号：
22650003
负责人：
SAKAI Masahiko
金额：
$1.55万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2010
资助国家：
日本
项目状态：
已结题
起止时间：
2010 至 2012
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22650003/
关键词：
プログラム保護難解言語チューリング完全充足可能性問題Malbolge高級アセンブリ言語ソフトウェア保護Nプログラム低級アセンブリ言語

项目摘要

项目成果

SAKAI Masahiko的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
  • 依托单位：
    Nagoya University
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
  • 依托单位：
    Nagoya University
Fundamental research on software verification based on algebraic method