研究課題
若手研究(B)
本研究では,算術アルゴリズムの高水準設計技術の開発を目指し,計算機代数に基づく算術アルゴリズムの形式的検証手法を開発した.また,その応用として算術演算モジュールジェネレータを開発した.特に,開発するジェネレータでは,セキュリティシステム応用で多用される演算(べき乗剰余演算)アルゴリズムの生成を可能にした.生成されるアルゴリズムは,全て本研究で開発された形式的手法により完全に検証される.
すべて 2010 2009 2008 その他
すべて 雑誌論文 (49件) (うち査読あり 47件) 学会発表 (19件) 備考 (3件) 産業財産権 (1件)
International Workshop on Constructive Side-Channel Analysis and Secure Design 2010
ページ: 77-80
子情報通信学会論文誌A Vol.J93-A,No.2(招待)
ページ: 42-51
110007539716
電子情報通信学会論文誌A J93-A・2
電子情報通信学会論文誌D Vol.J92-D,No.12
ページ: 2168-2180
110007482410
情報処理学会論文誌 Vol.50,No.11
ページ: 2618-2632
110007970544
Workshop on Information Security Applications - WISA 2009, Lecture Notes in Computer Science 5932
ページ: 66-78
Journal of Multiple-Valued Logic and Soft Computing Vol.15,No.4
ページ: 329-340
Soft Magnetic Materials 19
European Conference on Circuit Theory and Design 2009
ページ: 403-408
ページ: 395-398
Proceedings of the 2009 International Symposium on Electromagnetic Compatibility
ページ: 21-24
ページ: 17-20
Proceedings of the 2009 IEEE International Symposium on Circuits and Systems
ページ: 2918-2921
Proceedings of the 39th International Symposium on Multiple Valued Logic
ページ: 239-244
Proceedings of the 15th Workshop on Synthesis And System Integration of Mixed Information technologies
ページ: 58-63
Workshop on Information Security Applications - WISA 2008, Lecture Notes in Computer Science 5379
ページ: 28-40
Journal of Multiple-Valued Logic and Soft Computing 15-4
Proceedings of the 39th International Symposium on Multiple Valued Logic 1
情報処理学会論文誌 50・11
電子情報通信学会論文誌D J92-D・12
Proceedings of the 2008 IEEE International Symposium on Circuits and Systems
ページ: 1796-1799
2008 International Conference on ReConFigurable Computing and FPGAs
IEEE Transactions on Computers Vol.57,No.12
ページ: 1633-1646
Proceedings of the 26th IEEE International Conference of Computer Design
ページ: 416-421
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E91-A,No.10
ページ: 3038-3046
Proceedings of the 2008 International Conference on Field Programmable Logic and Applications
ページ: 35-40
Cryptographic Hardware and Embedded Systems - CHES 2008, Lecture Notes in Computer Science 5154
ページ: 100-112
ページ: 15-29
Proceedings of 17th International Workshop on Post-Binary ULSI Systems
Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic No.31
ページ: 112-117
ページ: 3282-3285
ページ: 2925-2928
Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic
Cryptographic Hardware and Embedded Systems, Lecture Notes in Computer Science 5154
IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences E91-A
IEEE Transactions on Computers 57
Workshop on Information Security Applications, Lecture Notes in Computer Science 5379
http://www.aoki./mg/index.html
http://www.aoki.ecei.tohoku.ac.jp/arith/mg/index.html
