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

2012 Fiscal Year Final Research Report

On Esoteric language Malbolge for software protection

Research Project

  • PDF
Project/Area Number 22650003
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeSingle-year Grants
Research Field Fundamental theory of informatics
Research InstitutionNagoya University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) SAKABE Toshiki  名古屋大学, 大学院・情報科学研究科, 教授 (60111829)
Project Period (FY) 2010 – 2012
Research Abstract

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.

  • Research Products

    (9 results)

All 2013 2012 2011 2010 Other

All Journal Article (5 results) Presentation (3 results) Remarks (1 results)

  • [Journal Article] Malbolge 低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用2013

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

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

      Volume: Vol.112, No.373 Pages: 25-30

  • [Journal Article] 三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング2012

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

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

      Volume: Vol.112, No.275 Pages: 7-12

  • [Journal Article] Malbolge の高級アセンブリ言語への配列機能の追加2012

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

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

      Volume: Vol.112, No.23 Pages: 43-49

  • [Journal Article] Malbolge の高級アセンブリ言語への加算命令の追加2012

    • Author(s)
      安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

      日本ソフトウェア科学会第28回大会講演論文集

      Volume: No.5A-3 Pages: 12

  • [Journal Article] 難解言語Malbolgeのチューリング完全性について2010

    • Author(s)
      長坂哲, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Journal Title

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

      Volume: Vol.110, No.227 Pages: 55-60

  • [Presentation] 難解言語Malbolge における高級アセンブリ言語への加算命令の追加2011

    • Author(s)
      安藤聡, 長坂哲, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)
    • Place of Presentation
      札幌市(ポスター・デモ発表)
    • Year and Date
      20110000
  • [Presentation] 難解言語Malbolge におけるプログラミング環境の構築と改良2011

    • Author(s)
      長坂哲, 安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
    • Organizer
      第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)
    • Place of Presentation
      札幌市(ポスター・デモ発表)
    • Year and Date
      20110000
  • [Presentation] Introduction to Esoteric Language Malbolge2010

    • Author(s)
      Masahiko Sakai
    • Organizer
      Japan-Vietnam Workshop on Software Engineering 2010 (JVSE 2010)
    • Place of Presentation
      Hanoi(招待講演)
    • Year and Date
      20101215-19
  • [Remarks]

    • URL

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

URL: 

Published: 2014-08-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi