研究課題
基盤研究(A)
本研究では，ガロア体上の算術演算によって構成されるVLSIデータパスの形式的設計技術を開発した．まず，(1)暗号や誤り訂正に多用される多項式基底・正規基底に基づくガロア体上の算術演算回路の形式的表現を考案し，(2)その回路表現に適用可能な計算機代数に基づく形式的検証手法を開発した．次に，(3)その応用として暗号プロセッサデータパスの形式的設計・検証を実現した．具体的には，ISO/IEC国際標準ブロック暗号の一つであるAESを対象として，そのプロセッサデータパスの形式的設計を実現した．さらに，(4)多様な設計仕様に応じてガロア体算術演算回路を自動合成するジェネレータを開発した．
すべて 2017 2016 2015 2014 2013 その他
すべて 雑誌論文 (20件) (うち査読あり 20件、 謝辞記載あり 10件) 学会発表 (26件) (うち国際学会 2件、 招待講演 5件) 図書 (4件) 備考 (1件)
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
巻: E100.A 号: 1 ページ: 149-157
10.1587/transfun.E100.A.149
130005180799
IEEE Transactions on Computers
巻: 66 号: 3 ページ: 431-442
10.1109/tc.2016.2603979
The 25th International Workshop on Post-Binary ULSI Systems
巻: - ページ: 22-25
2016 IEEE 46th International Symposium on Multiple-Valued Logic
巻: - ページ: 217-222
10.1109/ismvl.2016.25
Conference on Cryptographic Hardware and Embedded Systems
巻: - ページ: 538-558
10.1007/978-3-662-53140-2_26
Fourth International Workshop on Lightweight Cryptography for Security & Privacy
巻: 1 ページ: 148-163
10.1007/978-3-319-29078-2_9
Journal of Multiple-Valued Logic and Soft Computing
巻: 24 ページ: 21-34
2015 IEEE 45th International Symposium on Multiple-Valued Logic
巻: 1 ページ: 48-53
10.1109/ismvl.2015.16
IEEE 45th International Symposium on Multiple-Valued Logic
巻: 1 ページ: 54-59
10.1109/ismvl.2015.15
IEICE Transactions on Communications
巻: E98.B 号: 7 ページ: 1242-1249
10.1587/transcom.E98.B.1242
130005085044
Cryptographic Hardware and Embedded Systems - CHES 2015
巻: 1 ページ: 63-80
10.1007/978-3-662-48324-4_4
IEEE Transactions on Very Large Scale Integration Systems
巻: PP 号: 8 ページ: 1-9
10.1109/tvlsi.2014.2339892
Proceedings of International Workshop on Constructive Side-Channel Analysis and Secure Design
巻: 8622 ページ: 214-228
10.1007/978-3-319-10175-0_15
Proceedings of 2014 IEEE International Symposium on Hardware-Oriented Security and Trust
巻: 1 ページ: 76-79
10.1109/hst.2014.6855572
Proceedings of 2014 International Symposium on Electromagnetic Compatibility, Tokyo
巻: 1 ページ: 314-317
Proceedings of 2014 IEEE 44th International Symposium on Multiple-Valued Logic
巻: 1 ページ: 144-149
10.1109/ismvl.2014.33
IEICE Transactions on Information and Systems
巻: E97.D 号: 9 ページ: 2270-2277
10.1587/transinf.2013LOP0012
130004685464
巻: 63 ページ: 2604-2613
Proceedings of 43rd International Symposium on Multiple Valued Logic
巻: 1 ページ: 158-163
10.1109/ismvl.2013.5
Proceedings of 2013 PROOFS (Security Proofs for Embedded Systems) Workshop
巻: 1 ページ: 98-109
http://www.ecsis.riec.tohoku.ac.jp/
