株式会社エクスブリッジ

Kurage 論文トラッカー｜東海・関東の大学の研究者

結縁 祥治

名古屋大学　科研費の研究 1件（サイバーセキュリティと能動的サイバー防御）

このシステムを作った会社が、御社の X の運用をお手伝いします。AI-SNS顧問を見る →

Kurage 論文トラッカー › サイバーセキュリティと能動的サイバー防御 › 結縁 祥治

科研費の研究

数理論理手法と人工知能手法の融合に基づくマルウェアの自動意味理解

科研費科学研究費助成事業・基金　2020年7月30日〜2026年3月31日
小川 瑞史（北陸先端科学技術大学院大学）、NGUYEN MinhLe（北陸先端科学技術大学院大学）、寺内 多智弘（早稲田大学・研究分担者）、関 浩之（名古屋大学・研究分担者）

人間には解釈困難なバイナリコードに対し(1)操作的意味はレジスタ・フラッグ・メモリ・スタック上の状態遷移系として定義可能、(2)各命令仕様はリジッドな自然言語記述、(3)エミュレータ等テスト環境が完備などの観察に立脚し、英文マニュアルから命令の操作的意味自動抽出によりBE-PUM(x86), Corana(ARM), SiMIPS(MIP…

結縁 祥治さんの役割：研究分担者

研究者の情報：CiNii Research の研究者ページ

同じテーマの国会の議論

個人情報の漏えいとサイバー攻撃国会での質疑・答弁 1519件（最新 2026年7月22日）

研究の内容と国会の議論は、テーマが同じものを並べています。研究者ご本人が国会で発言したという意味ではありません。

出典：CiNii Research・KAKEN（国立情報学研究所）、国会会議録検索システム（国立国会図書館）。掲載内容の訂正・削除のご依頼はお問い合わせからお送りください。

Kurage.AIKurage.AI に相談AIが何でも答えます