文献

J-GLOBAL ID：202002277324277902   整理番号：20A1495432

ニューロGIFT:暗号解読のための機械学習ベースサットソルバーの利用【JST・京大機械翻訳】

NeuroGIFT: Using a Machine Learning Based Sat Solver for Cryptanalysis

著者 (4件)： Sun Ling (Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education, Shandong University, Jinan, China) ,  Gerault David (Temasek Laboratories, Nanyang Technological University, Singapore, Singapore) ,  Benamira Adrien (Temasek Laboratories, Nanyang Technological University, Singapore, Singapore) ,  Peyrin Thomas (Temasek Laboratories, Nanyang Technological University, Singapore, Singapore)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12161  ページ： 62-84  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 機械学習における最近の傾向は,satソルバNeuroSatのような機械学習ベースのソルバの実装である。NeuroSatの主な限界は,大きな問題に対するスケーリングである。このスケーリングの欠如は,全目的SATソルバの学習によるものであり,代わりに,特殊化したSAT問題を解くための学習は,より良い結果をもたらす。本論文では,ブロック暗号GIFT上の差分暗号解読のためのSAT問題に対するNeuroSatの訓練と試験による仮説を評価し,得られた分類器NeuroGiftを示した。これらの高度に構造化された問題において,著者らのモデルは元のNeuroSatよりも桁桁良く実行でき,暗号解析問題のための特殊化ソルバの使用に対する道を潜在的に舗装することを示した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 暗号 ,  *機械学習
準シソーラス用語： ブロック暗号 ,  *ソルバ ,  *暗号解析 , 【Automatic Indexing@JST】

著者キーワード (5件)： 機械学習 ,  ニューラルネットワーク ,  SAT ,  GIFT ,  暗号

分類 (2件)： 人工知能  (JE08000Z) ,  論理代数  (JB03000H)

タイトルに関連する用語 (3件)： GIFT ,  暗号解読 ,  機械学習