| 研究課題/領域番号 |
15KK0001
|
|---|
| 研究種目 |
国際共同研究加速基金(国際共同研究強化)
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
計算機システム
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
本間 尚文 東北大学, 電気通信研究所, 教授 (00343062)
|
|---|
| 研究協力者 |
Danger Jean-Luc COMELEC, Professor
|
|---|
| 研究期間 (年度) |
2016 – 2017
|
| 研究課題ステータス |
完了 (2017年度)
|
| 配分額 *注記 |
14,430千円 (直接経費: 11,100千円、間接経費: 3,330千円)
|
|---|
| キーワード | 計算機システム / システムオンチップ / ハードウェアセキュリティ |
|---|
| 研究成果の概要 |
本研究では，ガロア体上の算術演算として記述される攻撃対策を施した耐タンパー性暗号プロセッサの形式的設計技術の確立を目指し，その形式的記述・検証手法を開発した．また，その応用として高効率な耐タンパー性暗号プロセッサの設計・開発を行った．特に，近年暗号プロセッサに物理的に直接アクセスして秘密情報を奪うサイドチャネル攻撃の脅威が急速に高まっていることから，サイドチャネル攻撃対策に着目し，同対策を施した暗号プロセッサの形式的設計・検証手法の開発および同対策を施した暗号プロセッサの試作・評価を推進した．
|
