講演名 2019-03-01
論理暗号化に対する効率的なSAT攻撃アルゴリズムの評価
松永 裕介(九大), 吉村 正義(京都産大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和)
抄録(英)
キーワード(和)
キーワード(英)
資料番号 VLD2018-126,HWS2018-89
発行日 2019-02-20 (VLD, HWS)

研究会情報
研究会 HWS / VLD
開催期間 2019/2/27(から4日開催)
開催地(和) 沖縄県青年会館
開催地(英) Okinawa Ken Seinen Kaikan
テーマ(和) システムオンシリコンを支える設計技術, ハードウェアセキュリティ, 一般
テーマ(英) Design Technology for System-on-Silicon, Hardware Security, etc.
委員長氏名(和) 松本 勉(横浜国大) / 峯岸 孝行(三菱電機)
委員長氏名(英) Tsutomu Matsumoto(Yokohama National Univ.) / Noriyuki Minegishi(Mitsubishi Electric)
副委員長氏名(和) 川村 信一(東芝) / 池田 誠(東大) / 戸川 望(早大)
副委員長氏名(英) Shinichi Kawamura(Toshiba) / Makoto Ikeda(Univ. of Tokyo) / Nozomu Togawa(Waseda Univ.)
幹事氏名(和) 三浦 典之(神戸大) / 国井 裕樹(セコム) / 新田 高庸(NTT) / 小平 行秀(会津大)
幹事氏名(英) Noriyuki Miura(Kobe Univ.) / Hiroki Kunii(SECOM) / Koyo Nitta(NTT) / Yukihide Kohira(Univ. of Aizu)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Technical Committee on Hardware Security / Technical Committee on VLSI Design Technologies
本文の言語 JPN
タイトル(和) 論理暗号化に対する効率的なSAT攻撃アルゴリズムの評価
サブタイトル(和)
タイトル(英) On evaluation of an efficient SAT attack algorithm for logic encryption
サブタイトル(和)
キーワード(1)(和/英)
第 1 著者 氏名(和/英) 松永 裕介 / Yusuke Matsunaga
第 1 著者 所属(和/英) 九州大学(略称:九大)
Kyushu University(略称:Kyushu Univ.)
第 2 著者 氏名(和/英) 吉村 正義 / Masayoshi Yoshimura
第 2 著者 所属(和/英) 京都産業大学(略称:京都産大)
Kyoto Sangyou University(略称:Kyoto Sangyou Univ.)
発表年月日 2019-03-01
資料番号 VLD2018-126,HWS2018-89
巻番号(vol) vol.118
号番号(no) VLD-457,HWS-458
ページ範囲 pp.199-204(VLD), pp.199-204(HWS),
ページ数 6
発行日 2019-02-20 (VLD, HWS)