ソフトウェアプロテクションのための超難読言語Malbolgeの研究

2012 年度 研究成果報告書

• 研究課題/領域番号: 22650003
• 研究種目: 挑戦的萌芽研究
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 名古屋大学
• 研究代表者: 酒井 正彦 名古屋大学, 情報科学研究科, 教授 (50215597)
• 研究分担者: 坂部 俊樹 名古屋大学, 大学院・情報科学研究科, 教授 (60111829)
• 研究期間 (年度): 2010 – 2012

研究概要

本研究の目的は、プログラムの解読・改ざんが大変困難なプログラム言語であるMalbolgeを、ソフトウェア保護の目的に利用できるようにすることである。最も大きな問題点である、該当の言語でのプログラム作成の困難性を克服するため、Malbolgeのチューリング完全性を示し、Malbolgeプログラム作成手法の大枠を確立した。

研究成果

• [雑誌論文] Malbolge 低級アセンブリプログラミングにおける制御命令の配置設計のためのSATソルバの利用 (2013)
  • 著者名/発表者名: 安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
  • 雑誌名: 電子情報通信学会技術報告 巻: Vol.112, No.373 ページ: 25-30
• [雑誌論文] 三値関数を実現するMalbolge命令列の発見のためのSATエンコーディング (2012)
  • 著者名/発表者名: 安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
  • 雑誌名: 電子情報通信学会技術報告 巻: Vol.112, No.275 ページ: 7-12
• [雑誌論文] Malbolge の高級アセンブリ言語への配列機能の追加 (2012)
  • 著者名/発表者名: 安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
  • 雑誌名: 電子情報通信学会技術報告 巻: Vol.112, No.23 ページ: 43-49
• [雑誌論文] Malbolge の高級アセンブリ言語への加算命令の追加 (2012)
  • 著者名/発表者名: 安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
  • 雑誌名: 日本ソフトウェア科学会第28回大会講演論文集 巻: No.5A-3 ページ: 12
• [雑誌論文] 難解言語Malbolgeのチューリング完全性について (2010)
  • 著者名/発表者名: 長坂哲, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
  • 雑誌名: 電子情報通信学会技術研究報告 巻: Vol.110, No.227 ページ: 55-60
• [学会発表] 難解言語Malbolge における高級アセンブリ言語への加算命令の追加 (2011)
  • 著者名/発表者名: 安藤聡, 長坂哲, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)
  • 発表場所: 札幌市(ポスター・デモ発表)
  • 年月日: 20110000
• [学会発表] 難解言語Malbolge におけるプログラミング環境の構築と改良 (2011)
  • 著者名/発表者名: 長坂哲, 安藤聡, 酒井正彦, 坂部俊樹, 草刈圭一朗, 西田直樹
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011)
  • 発表場所: 札幌市(ポスター・デモ発表)
  • 年月日: 20110000
• [学会発表] Introduction to Esoteric Language Malbolge (2010)
  • 著者名/発表者名: Masahiko Sakai
  • 学会等名: Japan-Vietnam Workshop on Software Engineering 2010 (JVSE 2010)
  • 発表場所: Hanoi(招待講演)
  • 年月日: 20101215-19
• [備考]
  • URL: http://www.trs.cm.is.nagoya-u.ac.jp/Malbolge/