• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Development methods of programs in tamper-resistant language

Research Project

Project/Area Number 26540027
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Software
Research InstitutionNagoya University

Principal Investigator

Sakai Masahiko  名古屋大学, 情報科学研究科, 教授 (50215597)

Research Collaborator KATO Tatsuki  
KOBE Shohei  
SAKANASHI Genki  
Project Period (FY) 2014-04-01 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords難読プログラム / Malbolge / コンパイラ
Outline of Final Research Achievements

This research aims to develop a construction method for Malbolge, which is the most esoteric programming language, toward software protection by obfuscation. As a result, we succeeded to construct a system to convert C-subset language to Malbolge20, which is a word-length-extended Malbolge.
We first design the Malbolge20 language and construct an interpreter. Next, we developed a systematic method to generate malbolge20 codes from Low-level assembler of Malbolge, and implemented a translator. We further constructed a compiler that transforms C-subset language to Malbolge20.

Report

(4 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Research-status Report
  • 2014 Research-status Report
  • Research Products

    (9 results)

All 2016 2015 2014 Other

All Journal Article (3 results) (of which Acknowledgement Compliant: 3 results,  Peer Reviewed: 1 results) Presentation (1 results) Remarks (5 results)

  • [Journal Article] 難読性の高いMalbolgeコードを生成するコンパイラのための中間言語2016

    • Author(s)
      河邉翔平, 酒井正彦, 西田直樹, 関 浩之
    • Journal Title

      電子情報通信学会技術報告

      Volume: SS2016-12 Pages: 105-101

    • Related Report
      2016 Annual Research Report
    • Acknowledgement Compliant
  • [Journal Article] Construction of an ROBDD for a PB-constraint in band form and related techniques for PB-solvers2015

    • Author(s)
      Masahiko Sakai and Hidetomo Nabeshima
    • Journal Title

      IEICE Transaction on Information and Systems

      Volume: E98-D Pages: 1121-1127

    • NAID

      130005072390

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Malbolge 低級アセンブラにおけるコード配置アドレスの決定法2014

    • Author(s)
      加藤起騎,酒井正彦,坂部俊樹,西田直樹
    • Journal Title

      電子情報通信学会技術報告

      Volume: 114 Pages: 99-104

    • NAID

      110009803955

    • Related Report
      2014 Research-status Report
    • Acknowledgement Compliant
  • [Presentation] Esoteric Programming Language Malbolge and Its Low-Level Assembler2014

    • Author(s)
      Masahiko Sakai and Tatsuki Kato
    • Organizer
      Meeting of IPSJ Special Interest Group on Programming
    • Place of Presentation
      Asahikawa
    • Year and Date
      2014-07-20
    • Related Report
      2014 Research-status Report
  • [Remarks] Malbolge and Malbolge20

    • URL

      https://www.trs.css.i.nagoya-u.ac.jp/Malbolge/index.html.ja

    • Related Report
      2016 Annual Research Report
  • [Remarks] Malbolge and Malbolge20

    • URL

      https://www.trs.css.i.nagoya-u.ac.jp/Malbolge/index.html.en

    • Related Report
      2016 Annual Research Report
  • [Remarks] Malbolge, Malbolge20

    • URL

      http://www.trs.cm.is.nagoya-u.ac.jp/Malbolge/index.html.ja

    • Related Report
      2015 Research-status Report
  • [Remarks] Malbolge, Malbolge20

    • URL

      http://www.trs.cm.is.nagoya-u.ac.jp/Malbolge/index.html.en

    • Related Report
      2015 Research-status Report
  • [Remarks] Malbolge

    • URL

      http://www.trs.cm.is.nagoya-u.ac.jp/Malbolge/

    • Related Report
      2014 Research-status Report

URL: 

Published: 2014-04-04   Modified: 2018-03-22  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi