Development methods of programs in tamper-resistant language

防篡改语言程序的开发方法

基本信息

  • 批准号：
    26540027
  • 负责人：
    Sakai Masahiko
  • 金额：
    $ 2.25万
  • 依托单位：
    Nagoya University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 财政年份：
    2014
  • 资助国家：
    日本
  • 起止时间：
    2014-04-01 至 2017-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（18）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Malbolge 低級アセンブラにおけるコード配置アドレスの決定法
如何确定 Malbolge 低级汇编器中的代码位置地址
  • DOI：
  • 发表时间：
    2014
  • 期刊：
    電子情報通信学会技術報告
  • 影响因子：
    0
  • 作者：
    河邉翔平;酒井正彦;西田直樹;関 浩之;Masahiko Sakai and Hidetomo Nabeshima;加藤起騎,酒井正彦,坂部俊樹,西田直樹
  • 通讯作者：
    加藤起騎,酒井正彦,坂部俊樹,西田直樹
Malbolge and Malbolge20
马尔博格和马尔博格20
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Esoteric Programming Language Malbolge and Its Low-Level Assembler
深奥的编程语言 Malbolge 及其低级汇编器
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    河邉翔平;酒井正彦;西田直樹;関 浩之;Masahiko Sakai and Hidetomo Nabeshima;加藤起騎,酒井正彦,坂部俊樹,西田直樹;Masahiko Sakai and Tatsuki Kato
  • 通讯作者：
    Masahiko Sakai and Tatsuki Kato
難読性の高いMalbolgeコードを生成するコンパイラのための中間言語
一种用于生成高度混淆的 Malbolge 代码的编译器的中间语言
Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Sakai Masahiko其他文献

Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems
用扩展SQL编写的组合优化问题转化为约束问题
視覚拡張に向けた最近のnear-eyeディスプレイ研究の発展に関して
关于视觉增强的近眼显示研究的最新进展
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Heya Akira;Nakata Yoshihiro;Sakai Masahiko;Ishiguro Hiroshi;Hirata Katsuhiro;新村涼一，八木雄一郎，森下孟;伊藤勇太
  • 通讯作者：
    伊藤勇太
A Reduction Order for Orienting Equations in Theorem Proving of Constrained TRSs
约束TRS定理证明中定向方程的降序
  • DOI：
  • 发表时间：
    2008
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Nishida Naoki;Sakata Tsubasa;Sakai Masahiko;Kusakari Keiichirou;Sakabe Toshiki
  • 通讯作者：
    Sakabe Toshiki
Characterizing Inductive Theorems by Extensional Initial Models in a Higher - Order Equational Logic
高阶方程逻辑中的可拓初始模型表征归纳定理
  • DOI：
  • 发表时间：
    2004
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Kusakari Keiichirou;Sakai Masahiko;Sakabe Toshiki
  • 通讯作者：
    Sakabe Toshiki
On Representation of Structures and Unions in Logically Constrained Rewriting
逻辑约束重写中结构和联合的表示
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Kanazawa Yoshiaki;Nishida Naoki;Sakai Masahiko
  • 通讯作者：
    Sakai Masahiko

Sakai Masahiko的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Sakai Masahiko', 18)}}的其他基金

An extension of SQL language for constraint programming on database and its processing system
数据库及其处理系统约束规划的SQL语言扩展
  • 批准号：
    17H01721
  • 财政年份：
    2017
  • 资助金额：
    $ 2.25万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)

相似海外基金

On Esoteric language Malbolge for software protection
论用于软件保护的 Esoteric 语言 Malbolge
  • 批准号：
    22650003
  • 财政年份：
    2010
  • 资助金额：
    $ 2.25万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了