Publications/Activities of Dr.Sumio Morioka.

The followings are publications/activities of Dr.Sumio Morioka.

Personal Career

97.03
大阪大学大学院基礎工学研究科修了．博士（工学）．
94.04～97.03
日本学術振興会特別研究員（DC1）．LSIの形式検証の研究に従事．
97.04～97.09
NTT システムエレクトロニクス研究所．
97.10～03.06
日本IBM 東京基礎研究所．各種データ処理の高性能LSI回路の研究開発に従事．
03.07～05.12
ソニー情報技術研究所．PSP・PS3搭載のセキュリティ・システム回路の開発でSony MVP 2004．
06.01～12.12
NEC 中央研究所．画像処理やセキュリティなどの先進アルゴリズムIP，Cベース設計などの研究開発に従事．
13.01～
NEC Europe Ltd. (マネージャ), Imperial College London (客員研究員)．スマートシティ分野において，英・インペリアル大と共同でCPS（Cyber Physical System）システム設計の研究に従事．

Social Activities

経済産業省・次世代セキュアプラットフォーム検討会委員（2009.12）
ASP-DAC 2009 Organizing Commitee (Designers' Forum Vice Co-Chair)
ASP-DAC 2007 Organizing Commitee (Assistant)
CRYPTREC 暗号モジュール委員会委員（2004.09～2009.03）
情報処理学会学会誌編集委員会HWG委員（2001.04～2006.03．2004.04～2005.03主査）
情報処理学会第67回全国大会プログラム委員（2004.04～2005.03）
その他，学会座長，査読委員など

Invited talk

森岡澄夫，アルゴリズムの専用回路化による次世代ICTインフラの低消費電力化，第43回STARCアドバンスト講座「低消費電力化技術セミナー(2)」, Sep 2012
森岡澄夫，森健吾，一色寿幸，荒木俊則，"CPS向けデータ処理回路を多種機器展開するための高位合成活用," Tech Design Forum 2012, 機能検証/ESL設計，B2-2, Sep 2012.
森岡澄夫，"（招待パネリスト）セキュアなDVLSI設計での諸課題," （独）科学技術振興機構，CREST「ディペンダブルVLSIシステムの基盤技術」研究領域，H24第1回領域会議, June 2012.
森岡澄夫，古川潤，中村祐一，佐古和恵:“[招待講演]グループ署名回路のクラウドサーバ/クライアント向け実装方法”, IEICE回路とシステム研究会(CAS), 2012年1月
サブシステム規模セキュリティIPの基本アーキテクチャ設計における動作合成活用 , CyberWorkBench Forum 2010（動作合成ツール・セミナ）
－同発表のEDA Expressでの紹介：「複雑なアルゴリズムのハード化に高位合成は不可欠」 NECのCyber活用事例
アルゴリズム設計者とハードウェア設計者の協調ハードウェア開発ノウハウ , CQ出版社TSE・コデザイン＆コベリフィケーション・テクノロジ・ワークショップ2009 (B-3), Sep 2009.
The Inevitable Use of Behavioral Synthesis in Advanced Security Hardware Designs , TUTORIAL #2: High-Level Synthesis for ESL Design: Fundamentals and Case Studies, The 46th Design Automation Conference (DAC), July 2009.
サブシステム・クラスのIPコアを開発するための設計・検証戦略 , CQ出版社TSE・設計品質＆検証技法ワークショップ2008 (C-3), Sep 2008.
ET2006 パネリスト，P-1 "プラットフォーム・ベース開発の勝ち組は誰か", Nov 2006.
その他，大学での講義など

Book

LSI/FPGAの回路アーキテクチャ設計法，CQ出版社, 2012年4月．
ディジタル・デザイン・テクノロジ誌 No.10 "画像処理システム開発に挑戦"（全編），CQ出版社, 2011年7月．
HDLによる高性能ディジタル回路設計―ソフトウェア感覚を離れてハードウェアを意識する (Design Wave BOOKS), CQ出版社, 2002年11月.

Journal Papers

森岡澄夫, 一色寿幸，尾花賢，佐古和恵: "二段階動作合成によるグループ署名回路の早期性能調整法と実装例", 電子情報通信学会論文誌A, Vol.J95-A, No.5, pp.425-435, 2012.
Sumio Morioka and Akashi Satoh, "A 10Gbps Full-AES Crypto Design with a Twisted-BDD S-Box architecture," IEEE Transactions on VLSI, Vol.12, No.7, pp.686-691, 2004.
Sumio Morioka and Akashi Satoh: "A Logic Design Methodology of Low-power AES Cryptographic Circuits", transactions of IPSJ, Vol.44, No.5, pp.1321-1328 (Invited paper, 2003-05).
森岡澄夫, 佐藤証: "共通鍵暗号AESの低消費電力論理回路構成法", 情報処理学会論文誌, 第44巻, 第5号, pp.1321-1328 (2003-05) （推薦論文）
Hajime Shimatani, Akira Kitajima, Sumio Morioka, Teruo Higashino and Kenichi Taniguchi: "Automatic Correctness Proof of Pipelined CPUs with In-Order Execution", ransactions of IPSJ, Vol 39, No.6 (1998-06).
島谷肇, 北嶋暁, 森岡澄夫, 東野輝夫, 谷口健一: "形式的手法を用いたin-order実行パイプラインCPUの自動設計検証", 情報処理学会論文誌, 第39巻, 第6号 (1998-06)
Sumio Morioka, Naoki Shibata, Teruo Higashino and Kenichi Taniguchi: "Techniques to Reduce Computation Time in Decision Procedure for Prenex Normal Form Presburger Sentences bounded only by Existential Quantifiers", transactions of IPSJ, Vol 38, No.12, pp.2419-2426 (1997-12).
森岡澄夫，柴田直樹，東野輝夫，谷口健一: "すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法", 情報処理学会論文誌, 第38巻, 第12号, pp.2419-2426 (1997-12). IPA 1998年度ソフトウェアシーズ育成事業にも採択．
Akira Kitajima, Sumio Morioka, Hajime Shimatani, Teruo Higashino and Kenichi Taniguchi: "Automatic Correctness Proof of Step-by-Step Design of a CPU KUE-CHIP2 based on Algebraic Methods", transactions of IEICE, D-I, pp.1017-1029 (1996-12).
北嶋暁, 森岡澄夫, 島谷肇, 東野輝夫, 谷口健一: "代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明", 電子情報通信学会論文誌D-I, pp.1017-pp.1029 (1996-12)
Sumio Morioka, Junji Kitamichi, Teruo Higashino and Kenichi Taniguchi: "Automatic Verification of Abstract Sequential Machine Style Programs written in Algebraic Language", transactions of IPSJ, Vol 36, No.10, pp.2409-2421 (1995-10).
森岡澄夫, 北道淳司, 東野輝夫, 谷口健一: "代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化", 情報処理学会論文誌, 第36巻, 第10号, pp.2409-2421 (1995-10)
Sumio Morioka, Kozo Okano, Teruo Higashino and Kenichi Taniguchi: "Hierarchical Design of Stock Management Program using Relational Algebra and its Correctness Proof", transactions of IPSJ, Vol 36, No.5, pp.1091-1103(1995-05).
森岡澄夫, 岡野浩三, 東野輝夫, 谷口健一: "関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明", 情報処理学会論文誌, 第36巻, 第5号, pp.1091-1103 (1995-05)

International Conference

Tomoyasu Suzaki, Kazuhiko Minematsu, Sumio Morioka and Eita Kobayashi: "TWINE: A Lightweight Block Cipher for Multiple Platforms," Conference on Selected Areas in Cryptography, SAC 2012.
Sumio Morioka, Jun Furukawa, Yuichi Nakamura and Kazue Sako: "Architecture Optimization of Group Signature Circuits for Cloud Computing Environment," the 17th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI), pp.497-502, 2012.
Tomoyasu Suzaki, Kazuhiko Minematsu, Sumio Morioka and Eita Kobayashi: "TWINE: A Lightweight, Versatile Block Cipher," ECRYPT Workshop on Lightweight Cryptography 2011.
Sumio Morioka, Toshiyuki Isshiki, Satoshi Obana, Yuichi Nakamura and Kazue Sako: "Flexible Architecture Optimization and ASIC Implementation of Group Signature Algorithm using a Custimized HLS Methodology," IEEE Int. Symp. on Hardware-Oriented Security and Trust (HOST 2011), pp.57-62, June 2011.
Kazue Sako, Sumio Morioka, Toshinori Araki, Toshiyuki Isshiki and Satoshi Obana: "Implementation of LSI for Group Signature Scheme,"Workshop on Anonymous Digital Signatures: Mechanisms & Usages, 3rd International Conference on Trust and Trustworthy Computing TRUST 2010, June 2010.
Sumio Morioka: The Inevitable Use of Behavioral Synthesis in Advanced Security Hardware Designs , TUTORIAL #2: High-Level Synthesis for ESL Design: Fundamentals and Case Studies, The 46th Design Automation Conference (DAC), July 2009.
Akashi Satoh and Sumio Morioka: "Unified Hardware Architecture for 128-Bit Block Ciphers AES and Camellia," CHES 2003, LNCS Vol.2779, pp.304-318 (2003). Abstract.
Akashi Satoh and Sumio Morioka: "Hardware-Focused Performance Comparison for the Standard Block Ciphers AES, Camellia, and Triple-DES," ISC 2003, pp.252-266 (2003).
Akashi Satoh and Sumio Morioka: "Small and High-Speed Hardware Architecture for the 3GPP Standard Cipher KASUMI," Information Security Conference 2002 (ISC2002), Sep 2002.
Sumio Morioka and Akashi Satoh: "A 10Gbps Full-AES Crypto Design with a Twisted-BDD S-Box Architecture", IEEE the 20th International Conference on Computer Design (ICCD2002), pp.98-103, Sep 2002.
Sumio Morioka and Akashi Satoh: "An Optimized S-Box Circuit Architecture for Low Power AES Design", Workshop on Cryptographic Hardware and Embedded Systems 2002 (CHES2002), LNCS Vol.2523, pp.172-186, Aug 2002. Abstract
Akashi Satoh, Sumio Morioka, Kohji Takano and Seiji Munetoh: "A Compact Rijndael Hardware Architecture with S-Box Optimization", ASIACRYPT2001, LNCS Vol.2248, pp.239-254, Dec 2001. Abstract.
Sumio Morioka, Yasunao Katayama and Toshiyuki Yamane: "Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2^m)", 13th Conference on Computer Aided Verification (CAV'01), LNCS Vol.2102, pp.465-477, July 2001. Abstract.
Toshiyuki Yamane, Yasunao Katayama and Sumio Morioka: "A Closed-form Calculation of Yule-Walker Equation Based on Jacobi's Formula and its Application to Decoding of Reed-Solomon Codes," the 35th annual Conference on Information Sciences and Systems (CISS'01), March 2001.
Y.Katayama, S.Morioka and Y.Negishi: "Efficient Error Correction Code Configurations for Quasi-Nonvolatile Data Retention of DRAMs", IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT2000), Oct 2000.
Sumio Morioka and Yasunao Katayama: "O(log2 m) Iterative Algorithm for Multiplicative Inverse in GF(2^m)", IEEE International Symposium on Information Theory (ISIT2000), June 2000.
Yasunao Katayama and Sumio Morioka: "One-shot Reed-Solomon Decoding for High-performance Dependable Systems", IEEE International Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8), June 2000.
Yasunao Katayama and Sumio Morioka: "One-Shot Reed-Solomon Decoding with Erasure Correction," the 34th annual Conference on Information Sciences and Systems (CISS'00), March 2000.
Y.Katayama, E. J. Stuckey, S.Morioka and Z.Wu: "Fault-tolerant Refresh Power Reduction of DRAMs for Quasi-nonvolatile Data Retention", IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT99), Nov 1999.
Sumio Morioka and Yasunao Katayama: "Design Methodology for a One-shot Reed-Solomon Encoder and Decoder", 1999 IEEE International Coference on Computer Design (ICCD'99), pp.60-67, Oct 1999.
日経エレクトロニクス1999年11月15日号でも紹介．
Yasunao Katayama and Sumio Morioka: "Error Evaluation Algorithm for Oneshot Reed-Solomon Decoder", 1999 IEEE Information Theory Workshop (ITW'99), June 1999.
Yasunao Katayama and Sumio Morioka: "One-shot Reed Solomon decoder", the 33rd annual Conference on Information Sciences and Systems (CISS'99), March 1999.
Junji Kitamichi, Sumio Morioka, Teruo Higashino and Kenichi Taniguchi: "Automatic Correctness Proof of Implementation of Synchronous Sequential Circuits Using Algebraic Approach", 2nd Conference on Theorem Provers in Circuit Design (TPCD94), LNCS Vol.901, pp.165-184 (1994-09).

Patents

US8199910 Signature generation apparatus and signature verification apparatus
US8055953 Information processing apparatus, information processing system, information processing method and computer program
US7460666 Combinational circuit, encryption circuit, method for constructing the same and program
US7269529 Data processing apparatus, program, and method for testing a secured circuit and maintaining confidentiality of the circuit
US7185258 Signal processing method, signal processing system, program for signal processing, and computer-readable storage medium on which this program is recorded
US7010738 Combinational circuit, and encoder, decoder and semiconductor device using this combinational circuit
US6928601 Decoding circuit, and decoder, decoding method and semiconductor device that use the decoding circuit
US6912558 MULTIPLICATION MODULE, MULTIPLICATIVE INVERSE ARITHMETIC CIRCUIT, MULTIPLICATIVE INVERSE ARITHMETIC CONTROL METHOD, APPARATUS EMPLOYING MULTIPLICATIVE INVERSE ARITHMETIC CIRCUIT, AND CRYPTOGRAPHIC APPARATUS AND ERROR CORRECTION DECODER THEREFOR
US6721919 Shared encoder used in error correction having multiple encoders of different maximum error correction capabilities
US6487691 Reed-solomon decoder
US20090296923A1 Signature generation apparatus and signature verification apparatus
US20060122802A1 Data processing apparatus, secured circuit, program and data processing method
US20040172538A1 Information processing with data storage
US20030198343A1 Combinational circuit, encryption circuit, method for constructing the same and program
WO11148558A1 SIGNATURE GENERATION APPARATUS, SIGNATURE METHOD, AND NON-TEMPORARY COMPUTER-READABLE MEDIUM ON WHICH SIGNATURE GENERATION PROGRAM HAS BEEN STORED
WO06057180A1 INFORMATION PROCESSING DEVICE, INFORMATION PROCESSING SYSTEM, INFORMATION PROCESSING METHOD, AND COMPUTER PROGRAM
EP01819086A1 INFORMATION PROCESSING DEVICE, INFORMATION PROCESSING SYSTEM, INFORMATION PROCESSING METHOD, AND COMPUTER PROGRAM
CN200580047464 Information processing device, information processing system, information processing method, and computer program
特許4474266 情報処理装置、情報処理システム、および情報処理方法、並びにコンピュータ・プログラム
特許4328487 組合せ回路、暗号回路、その生成方法及びプログラム
特許4319134 データ処理装置、セキュア回路、プログラムおよびデータ処理方法
特許3951036 動的小数点方式、動的小数点演算方法、並びに２次元逆離散コサイン変換方法及びその装置
特許3659320 乗算モジュール、乗法逆元演算回路、乗法逆元演算制御方式、該乗法逆元演算を用いる装置、暗号装置、誤り訂正復号器
特許3606569 復号回路、該復号回路を用いる復号装置、復号方法および半導体デバイス
特許3552683 信号処理方法、信号処理システム、および信号処理のためのプログラムおよび該プログラムを記録したコンピュータ可読な記録媒体
特許3447053 組み合わせ回路、該組み合わせ回路を使用する符号化装置、復号装置、および半導体デバイス
特許3272307 リード・ソロモン符号の復号回路
特許3256517 符号化回路、回路、パリティ生成方法及び記憶媒体
特開2012-238156 メモリカード切り替え装置
特開2010-014912 署名生成装置、ならびに、署名検証装置（登録）
特開2007-018248 画像処理装置、画像処理方法及びプログラム
特開2007-011989 画像処理装置、画像処理方法及びプログラム
特開2004-201038 データ記憶装置、これを搭載した情報処理装置及びそのデータ処理方法並びにプログラム
その他，公開待ち

Research Press Release etc.

Domestic Conference

森岡澄夫，小林栄太，峯松一彦，洲崎智保："軽量暗号TWINEの小型回路実装方式の検討", コンピュータセキュリティシンポジウム2012 (CSS2012)，3C1-3，2012年11月
森岡澄夫："PPRMベース形式手法を用いたAES内演算回路の最適化検証", コンピュータセキュリティシンポジウム2012 (CSS2012)，3C1-4，2012年11月
森岡澄夫:“クラウド・サーバ向け多重並列グループ署名回路の低レイテンシ・アーキテクチャ”, 2012年暗号と情報セキュリティシンポジウム（SCIS2012）, 3D1-5, 2012年1月
森岡澄夫："複合暗号演算を行うグループ署名回路に対するSPA対策オーバヘッドの基礎検討", コンピュータセキュリティシンポジウム2011 (CSS2011), 3C1-1，2011年11月
森岡澄夫，古川潤，佐古和恵:“多重並列グループ署名の低消費電力回路アーキテクチャ”, 信学技報VLD2010-128, pp.69-74, 2011年3月
一色寿幸，尾花賢，森岡澄夫，佐古和恵: "準同型性を有する暗号方式のFPGA実装について", 2011年暗号と情報セキュリティシンポジウム（SCIS2011）, 3D2-3, 2011年1月
森岡澄夫，古川潤，佐古和恵:“多重並列グループ署名の小型回路アーキテクチャ”, 2011年暗号と情報セキュリティシンポジウム（SCIS2011）, 3D2-4, 2011年1月
森岡澄夫，荒木俊則，一色寿幸，尾花賢，佐古和恵:“二段階動作合成によるグループ署名ASICの実装と評価”, 信学技報, vol. 109, no. 462, VLD2009-128, pp. 175-180, 2010年3月
森岡澄夫，荒木俊則，一色寿幸，尾花賢，佐古和恵，寺西勇:“ESL設計法を活用したグループ署名アルゴリズムのASIC化”, 2010年暗号と情報セキュリティシンポジウム（SCIS2010） 3C4-5, 2010年1月
荒木俊則，尾花賢，佐古和恵，寺西勇，森岡澄夫："グループ署名のハードウェア実装に適したストレートライン抽出可能証明生成方法", 2009年暗号と情報セキュリティシンポジウム (SCIS2009) 2B4-5，2009-01.
Sumio Morioka, Toshinori Araki, Toshiyuki Issihiki, Satoshi Obana, Kazue Sako and Isamu Teranishi, "Architecture Optimization of a Group Signature Circuit," 情処研報 Vol.2008 No.71 (CSEC-42), pp.171-178, 2008-07.
荒木俊則，一色寿幸，森岡澄夫，尾花賢，佐古和恵，寺西勇："グループ署名のFPGA実装", 2008年暗号と情報セキュリティシンポジウム (SCIS2008) 3C3-5，2008-01.
森岡澄夫, 秋下徹: "合成体を用いたAES S-Box回路に対するDPA攻撃", コンピュータセキュリティシンポジウム2004 (CSS2004), pp.679-684 (2004-10)
佐藤証，高野光司，森岡澄夫: "ハードディスク暗号化方式の提案", 2004年暗号と情報セキュリティシンポジウム(SCIS2004), 2A4-3, Jan 2004.
佐藤証，森岡澄夫: "AES/Camellia/Triple-DESのハードウェア性能比較", 2003年暗号と情報セキュリティシンポジウム(SCIS2003), 12D-1, Jan 2003.
佐藤証，森岡澄夫: "AESとCamelliaの共有ハードウェア・アーキテクチャ"，2003年暗号と情報セキュリティシンポジウム(SCIS2003), 12D-2, Jan 2003.
森岡澄夫, 佐藤証: "共通鍵暗号回路の低消費電力化の検討", マルチメディア,分散,協調とモバイルシンポジウム（DICOMO2002）, Jul 2002.
佐藤証, 森岡澄夫: "W-CDMA標準暗号KASUMIの小型回路実装", マルチメディア,分散,協調とモバイルシンポジウム（DICOMO2002）, Jul 2002.
森岡澄夫: "ガロア体上の誤り訂正符号の設計検証法", 第15回回路とシステム軽井沢ワークショップ, pp.275-280, Apr 2002.
森岡澄夫，佐藤証: "共通鍵暗号ハードウェアのための超高速S-Box回路アーキテクチャ", 2002年暗号と情報セキュリティシンポジウム(SCIS2002), 9B-3, Jan 2002.
佐藤証，森岡澄夫: "エニグマの高速LSI実装", 2002年暗号と情報セキュリティシンポジウム(SCIS2002), 9B-1, Jan 2002.
佐藤証，森岡澄夫，張綱: "128ビットブロック暗号Camelliaの小型ハードウェア・アーキテクチャ", 2002年暗号と情報セキュリティシンポジウム(SCIS2002), 9B-2, Jan 2002.
Akashi Satoh and Sumio Morioka: "The World's Fastest Hardware Cipher", ASIACRYPT2001, (Rump Session), Dec 2001.
森岡澄夫, 佐藤証: "100Mbyte/s高速データ圧縮エンジン", 第9回FPGA/PLD Design Conference
大庭信之，森岡澄夫: "FPGAを用いたマイクロコントローラ付きプロトタイピング環境", 第9回FPGA/PLD Design Conference 優秀論文賞受賞
森岡澄夫, 佐藤証: "AESの低消費電力回路実装のための論理設計方式の検討", 第4回コンピュータセキュリティシンポジウム(CSS2001), (2001-11)
佐藤証，張綱，森岡澄夫: "7Gbpsを実現するAESの高速回路実装", 第4回コンピュータセキュリティシンポジウム(CSS2001), (2001-11)
高野光司, 佐藤証, 森岡澄夫, 宗藤誠治: "次世代共通鍵暗号AESの小型回路アーキテクチャ", 第63回情処全大, 3G-02 (2001-09)
佐藤証, 高野光司, 森岡澄夫, 宗藤誠治: "AESにおける多項式乗算回路の効率的実装法", 第63回情処全大, 3G-03 (2001-09)
森岡澄夫, 佐藤証, 高野光司, 宗藤誠治: "GF(((2^2)^2)^2)上の演算を用いたAESのS-Box構成法", 第63回情処全大, 3G-04 (2001-09)
宗藤誠治, 佐藤証, 森岡澄夫, 高野光司: "AESとDESの回路性能比較", 第63回情処全大, 3G-05 (2001-09)
佐藤証, 森岡澄夫, 宗藤誠治: "Rijndaelの小型ハードウェア実装", マルチメディア、分散、協調とモバイル (DICOMO2001) シンポジウム, (2001-06)
片山泰尚, 森岡澄夫: "組み合わせ回路による高速Reed-Solomon符号化復号化方式", 第57回情処全大, 1Q-1 (1998-09)
("Combinatorial circuit representation of the Reed-Solomon encoder and decoder")
森岡澄夫, 片山泰尚: "組み合わせ回路で実現したReed-Solomon符号・復号器の論理簡単化", 第57回情処全大, 1Q-11 (1998-09)
("Logic optimization of the Reed-Solomon encoder and decoder represented in combinatorial circuits")
水野健太郎, 安本慶一, 森岡澄夫, 東野輝夫, 谷口健一: "通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法", 信学技報, DPS研究会 (1997-01)
北嶋暁, 森岡澄夫, 島谷肇, 東野輝夫, 谷口健一: "代数的手法を用いた検証支援システムとマイクロプロセッサKUE-CHIP2の設計検証", 信学会, LSI設計技術の未来を考えるワークショップ, 「大学におけるLSI設計技術の研究」ポスターセッション (1996-11)
島谷肇，森岡澄夫，東野輝夫，谷口健一: "in-order実行パイプラインCPUの正しさの自動証明例", 信学技報, VLD96-62 (1996-10)
森岡澄夫，柴田直樹，東野輝夫，谷口健一: "プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明", 信学技報, VLD96-61 (1996-10)
("Automatic Verification of Arithmetic Circuits using a Decision Procedure for Presburger Arithmetic")
柴田直樹，森岡澄夫，東野輝夫，谷口健一: "プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化", 第53回情処全大, 2M-7 (1996-09)
("A Technique for Reducing Computation Time to Solve Simultaneous Linear Congruences in a Decision Procedure for Presburger Sentences")
森岡澄夫，北嶋暁，島谷肇，東野輝夫，谷口健一: "一つのEFSMの複数EFSMによる実現の正しさの一証明法", 第52回情処全大, 1K-1 (1996-03)
("A Technique to Prove Correctness of Implementation of an EFSM by multiple EFSMs")
島谷肇，森岡澄夫，北嶋暁，東野輝夫，谷口健一: "代数的手法を用いたパイプライン方式CPUの設計検証", 情処研報, DA79-02 (1996-02)
北嶋暁, 森岡澄夫, 島谷肇, 東野輝夫, 谷口健一: "代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明", 情処研報, DA79-01 (1996-02)
("Automatic Correctness Proof of Step-by-Step Design of a CPU KUE-CHIP2 based on Algebraic Methods")
森岡澄夫, 東野輝夫, 谷口健一: "プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化", 第51回情処全大，1L-07(1995-09)，(大会奨励賞受賞)
("A Technique for Reducing Computation Time in Decision Procedure for Presburger Sentences used in Program Verification", Best Paper Award for Young Researcher of IPSJ National Convention)
森岡澄夫, 東野輝夫, 谷口健一: "全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム", 信学技報，SS95-18(1995-07)
("An Implementation of Decision Procedure for Prenex Normal Form Presburger Sentences bounded only by Existential Quantifiers")
Junji Kitamichi, Sumio Morioka, Teruo Higashino and Kenichi Taniguchi: "Automatic Correctness Proof of Implementation of Synchronous Sequential Circuits Using Algebraic Approach", Workshop on Algebraic and Object-oriented Approaches to Software Science, Nagoya, (Mar. 1995)
森岡澄夫, 北道淳司, 東野輝夫, 谷口健一: "代数的手法を用いた順序回路の段階的設計支援システムにおける状態図変形機能", 第8回回路とシステム軽井沢ワークショップ論文集,E2-2(1995-04)
("Facilities for State Diagram Transformation in Hardware Design Support System based on Algebraic Methods")
森岡澄夫, 岡野浩三, 東野輝夫, 谷口健一: "整数上の論理式の恒真性判定手続きを利用した順序機械型仕様記述の詳細化の正しさの半自動証明", 日本ソフトウェア科学会第11回大会(E7-4)，(1994-11)
("Semi-automatic Proof of Correctness of Refinements of Abstract State Machine Style Descriptions Using Decision Procedure for Presburger Sentences")
北嶋暁, 森岡澄夫, 北道淳司, 東野輝夫, 谷口健一: "代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更およびそれらの正しさの検証", 情処全大(4L-07)，(1994-09)
森岡澄夫, 北道淳司, 東野輝夫, 谷口健一: "整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明", 情処全大(4L-01)，(1994-09)
("Examples of Correctness Proof of the Implementation of Combinatorial Logic Circuits Using Presburger Arithmetic Decision Procedure")
森岡澄夫, 岡野浩三, 北道淳司, 東野輝夫, 谷口健一: "ASLプログラム開発システムにおける検証の自動化について", 情処全大(1G-05)，(1994-03)
("Facilities for Automatic Verification in ASL Program Development System")
北道淳司, 森岡澄夫, 東野輝夫, 谷口健一: "並列実行される動作におけるデータ代入の衝突の判定", 情処全大(4H-01)，(1993-10)
北道淳司, 森岡澄夫, 東野輝夫, 谷口健一: "代数的手法を用いた同期式順序回路の方式・機能設計と検証例", 1993年秋期信学会全大, (1993-09)
森岡澄夫, 北道淳司, 東野輝夫, 谷口健一: "同期式順序回路の設計検証例", DAシンポジウム'93論文集pp73-76, (1993-08)
("Examples of Design Verification of Synchronous Logic Circuit based on Algebraic Method")
森岡澄夫, 北道淳司, 東野輝夫, 谷口健一: "代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順", 第45回情処全大(4K-01)，(1992-10)
("Facility to Support Verification in Hardware Design System using Algebraic Method")
森岡澄夫, 北道淳司, 東野輝夫, 谷口健一: "代数的手法を用いた順序機械型プログラムの設計検証", 信学技報，SS92-11(1992-09)
("Design Verification of Abstract Sequential Machine Style Programs Using Algebraic Methods")

Thesis

"Correctness Proof of Software using Decision Procedure for Presburger Arithmetic", Ph.D thesis, Osaka University, Japan (1997-02)
"プレスブルガー文真偽判定手続きを用いたプログラム正当性証明", 博士学位論文, 大阪大学 (1997-02)
"代数的手法を用いた順序機械型記述の設計検証と支援系の開発", 修論 (1994-02)
"Facility of Verification in Hardware Design Support System with Algebraic Method", Bachelor thesis (1992-02)
"代数的手法を用いた順序回路設計支援システムにおける検証機能", 卒論 (1992-02)

Other Articles

森岡澄夫: "ArduinoのI/Oポート拡張基板の作成（仮題）", CQ出版社トランジスタ技術誌2013年5月号.（掲載予定）
森岡澄夫: "連載・宇宙を撮る -- ８．－60℃＆0気圧！過酷な真空・低温テスト", CQ出版社トランジスタ技術誌2013年4月号.
森岡澄夫: "連載・宇宙を撮る -- ７．＋CPLDでリスク分散", CQ出版社トランジスタ技術誌2013年2月号, pp210-211.
森岡澄夫: "連載・宇宙を撮る -- ６．失敗に備えて多くのセンサを搭載", CQ出版社トランジスタ技術誌2012年12月号, pp228-229.
森岡澄夫: "連載・宇宙を撮る -- ５．レンズを結露させない", CQ出版社トランジスタ技術誌2012年11月号, pp220-221.
森岡澄夫："自作成層圏カメラで「宇宙の渚」撮影に挑戦", ルネサスエンジニアフォーラム, M-SS2, Sep 2012.
森岡澄夫："101匹はちゅねミク・ねぎ振りアクチュエータの開発", ルネサスエンジニアフォーラム, D-SS2, Sep 2012.
森岡澄夫: "連載・宇宙を撮る -- ４．自宅で－79℃の低温試験に挑戦！", CQ出版社トランジスタ技術誌2012年10月号, pp218-219.
森岡澄夫: "連載・宇宙を撮る -- ３．カメラの改造②SDメモリーカードの増設", CQ出版社トランジスタ技術誌2012年9月号, pp208-209.
森岡澄夫: "連載・宇宙を撮る -- ２．カメラの改造①バッテリの大容量化", CQ出版社トランジスタ技術誌2012年8月号, pp212-213.
森岡澄夫: "連載・宇宙を撮る -- １．渚へのチケット", CQ出版社トランジスタ技術誌2012年7月号, pp214-215.
森岡澄夫: "回路構成による消費電力の違い"，CQ出版社ディジタル・デザイン・テクノロジ誌 No.11 pp.38-45, 2011年11月号.
森岡澄夫: "SDカードを読み書きする - FPGAコンフィギュレーション・ツールの製作に学ぶ"，CQ出版社ディジタル・デザイン・テクノロジ誌 No.9 pp.104-116, 2011年4月号．
森岡澄夫: "特集第1章 LSI/FPGA設計の現状と今後"，CQ出版社インターフェース誌2011年2月号.
森岡澄夫: "特集Appendix1 動作合成ツールの典型的機能"，CQ出版社インターフェース誌2011年2月号.
森岡澄夫: "特集第2章半導体プロセス/ディジタル回路(各紹介記事)"，CQ出版社トランジスタ技術誌2010年12月号.
森岡澄夫: "特集1第2章，民生機器向けSOC開発と先端的セキュリティ処理のIPコア化", CQ出版社デザインウェーブ誌2009年3月号pp.26-36.
森岡澄夫: "FRマイコンのOSD機能を使って初音ミクアニメーション", CQ出版社インターフェース誌2008年7月号pp.129-140.
森岡澄夫: "特集1第1章，LSIの開発にC/C++を使う理由と設計スタイル", CQ出版社デザインウェーブ誌2008年1月号pp.20-31.
森岡澄夫: "特集1第2章，LSI設計のコスト感覚と回路の考え方", CQ出版社デザインウェーブ誌2008年1月号pp.32-38.
森岡澄夫: "特集1第3章，ストリーム・データ処理のハードウェア化（JPEG回路設計）", CQ出版社デザインウェーブ誌2008年1月号pp.39-59.
森岡澄夫: "特集1第4章，メモリ・データ処理のハードウェア化（RSA回路設計）", CQ出版社デザインウェーブ誌2008年1月号pp.60-70.
森岡澄夫: "特集3章，USB接続型赤外線学習リモコンの製作事例", CQ出版社インターフェース誌2007年6月号pp.80-92.
森岡澄夫: "特集1第1章，システムLSI設計，「演算回路」で差を付ける!", CQ出版社デザインウェーブ誌2007年1月号pp.20-26.
森岡澄夫: "特集1第2章，演算回路設計のセンスをつかもう", CQ出版社デザインウェーブ誌2007年1月号pp.27-34.
森岡澄夫: "システム全体を見渡しながら回路設計を行う", CQ出版社デザインウェーブ誌2006年5月号pp.49-63.
森岡澄夫: "システムLSI設計におけるDPA対策の指針とAES暗号の対策例", CQ出版社デザインウェーブ誌2006年2月号pp.125-134.
S.Mori: "（特集4章）演算回路に不可欠なインターフェースの設計", CQ出版社デザインウェーブ誌2005年3月号pp.56-69.
森岡澄夫: "わかる！ CRC計算回路の作り方とアレンジ", CQ出版社インターフェース誌2004年12月号 pp.183-193.
森岡澄夫: "テキスト処理プログラミングをマスタしてLSIを効率的に設計しよう（応用テクニック編） -- 自作Verilog-VHDL変換ツールを実用レベルに仕上げる", CQ出版社デザインウェーブ誌2004年10月号pp.111-118.
記事中で作成したVerilog/VHDL変換ツールはこちら．
森岡澄夫: "テキスト処理プログラミングをマスタしてLSIを効率的に設計しよう（基礎テクニック編） -- 自作Verilog-VHDL変換ツールの内部構成", CQ出版社デザインウェーブ誌2004年8月号pp.122-128.
記事中で作成したVerilog/VHDL変換ツールはこちら．
森岡澄夫: "テキスト処理プログラミングをマスタしてLSIを効率的に設計しよう（環境整備編） -- ツール作成の意義と自作Verilog-VHDL変換ツールの基本操作", CQ出版社デザインウェーブ誌2004年7月号pp.69-74.
記事中で作成したVerilog/VHDL変換ツールはこちら．
Dr.S.Morioka: "数学いらずのAES暗号SubBytes設計ガイド", CQ出版社デザインウェーブ誌2004年1月号, pp.152-157.
佐藤証，森岡澄夫: "暗号処理のソフト vs. ハード", CQ出版社デザインウェーブ誌2003年9月号, pp.72-79.
森岡澄夫: "エラー訂正や暗号処理で使われる演算回路を究める", CQ出版社デザインウェーブ誌2003年7月号, pp.57-67.
森岡澄夫: "（特集7章）複数の回路ブロックを操る制御回路を作る", CQ出版社トランジスタ技術誌2003年5月号，pp.175-.
森岡澄夫: "（特集8章）受信しながら送信する並列処理の回路を作る", CQ出版社トランジスタ技術誌2003年5月号，pp.186-.
大庭信之，森岡澄夫，高野光司: "連載・IPコア設計ノウハウ -- 第６回 FPGAプロトタイピング環境を利用したハードウェア開発（後編）", CQ出版社デザインウェーブ誌2002年3月号
大庭信之，森岡澄夫，高野光司: "連載・IPコア設計ノウハウ -- 第５回 FPGAプロトタイピング環境を利用したハードウェア開発（前編）", CQ出版社デザインウェーブ誌2002年2月号
高野光司，大庭信之，森岡澄夫: "連載・IPコア設計ノウハウ -- 第４回 C++を用いた公開鍵暗号回路の最適化設計", CQ出版社デザインウェーブ誌2002年12月号
高野光司，大庭信之，森岡澄夫: "連載・IPコア設計ノウハウ -- 第３回 C++を用いた公開鍵暗号回路の細分化・階層化設計事例", CQ出版社デザインウェーブ誌2002年10月号，pp.148-157.
森岡澄夫，高野光司，大庭信之: "連載・IPコア設計ノウハウ -- 第２回 IPコア設計と検証における指針", CQ出版社デザインウェーブ誌2002年9月号，pp.127-134.
森岡澄夫，高野光司，大庭信之: "連載・IPコア設計ノウハウ -- 第１回 IPコアの設計時に立ちはだかる壁", CQ出版社デザインウェーブ誌2002年8月号，pp.120-126.
森岡澄夫: "テレビ・テニス・ゲームPONGの製作 -- FPGAとHDLでゲームを作ろう！", CQ出版社トランジスタ技術誌2002年7月号, pp.269-279.
片山泰尚，森岡澄夫: "ハードウェアで高速処理を実現したリードソロモン復号アルゴリズム（下）", CQ出版社インターフェース誌2000年7月号, pp164-170.
片山泰尚，森岡澄夫: "ハードウェアで高速処理を実現したリードソロモン復号アルゴリズム（上）", CQ出版社インターフェース誌2000年6月号, pp154-160.
森岡澄夫: "HDLリファレンス", CQ出版社トランジスタ技術誌2000年1月号.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- １７．ワンチップ・マイコンを作る", CQ出版社トランジスタ技術誌1999年12月号.
記事中で作成したCQPICはこちら．
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- １６．非同期入力の扱い方とステートアサインの選択", CQ出版社トランジスタ技術誌1999年11月号.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- １５．回路の出力ハザードをなくす", CQ出版社トランジスタ技術誌1999年10月号.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- １４．演算回路の定石と機械的な回路構成法", CQ出版社トランジスタ技術誌1999年9月号.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- １３．ゲートレベルでの回路最適化（２）", CQ出版社トランジスタ技術誌1999年8月号.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- １２．ゲートレベルでの回路最適化（１）", CQ出版社トランジスタ技術誌1999年7月号.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- １１．RTLで回路規模と電力を改善する", CQ出版社トランジスタ技術誌1999年6月号.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- １０．RTLで回路速度を改善する", CQ出版社トランジスタ技術誌1999年5月号.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- ９．複数のモジュールを組み合わせる（２）", CQ出版社トランジスタ技術誌1999年4月号.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- ８．複数のモジュールを組み合わせる（１）", CQ出版社トランジスタ技術誌1999年3月号, pp312-318.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- ７．回路設計の基本を復習する", CQ出版社トランジスタ技術誌1999年2月号, pp307-316.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- ６．ブロック図からゲート・レベルで回路を設計する", CQ出版社トランジスタ技術誌1999年1月号, pp329-338.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- ５．ブロック図の無駄を取り除く", CQ出版社トランジスタ技術誌1998年12月号, pp325-334.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- ４．状態遷移図から回路のブロック図を作る", CQ出版社トランジスタ技術誌1998年11月号, pp307-318.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- ３．同時に複数の処理を行う", CQ出版社トランジスタ技術誌1998年10月号, pp337-346.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- ２．クロック単位で処理を進める", CQ出版社トランジスタ技術誌1998年9月号, pp307-316.
森岡澄夫: "HDLによる大規模ディジタル回路設計入門 -- １．急変するディジタル回路設計", CQ出版社トランジスタ技術誌1998年8月号, pp371-382.
Sumio Morioka and Gerald Matulka: "Computer Technology used in the Space Shuttle -- part 2: MC68000 chip used in the Space Shuttle Main Engine", CQ Publishing Co.Ltd, August 1997 issue of the Interface Magazine, pp81-83.
森岡澄夫, Gerald Matulka: "スペースシャトルに使われているコンピュータ技術 -- エンジン制御に使われている68000マイコン", CQ出版社インターフェース誌1997年8月号, pp81-83.
Sumio Morioka: "Computer Technology used in the Space Shuttle", CQ Publishing Co.Ltd, August 1996 issue of the Interface Magazine, pp74-77.
森岡澄夫: "スペースシャトルに使われているコンピュータ技術", CQ出版社インターフェース誌1996年8月号, pp74-77.
森岡澄夫: "PC1260 おくやくん"（マシン語ゲーム）, 工学社Pio Special No.3(1987-10).
森岡澄夫: "PC1445 ROM解析"（ポケコン・ROM BIOSの解析）, 工学社I/O誌1987年7月号.
森岡澄夫: "PC1260を61に"（ポケコン・ハードの改造）, 工学社I/O誌1986年5月号.
森岡澄夫: "PC1260 多機能モニタ"（ポケコン・マシン語モニタ）, 工学社Pio誌1986年4月号.

Lecture

セミナ・高性能ディジタル回路設計の基礎と最新動向，CQ出版社エレクトロニクス・セミナ，2009.08.21.
同上 2010.01.27
同上 2010.05.28
同上 2011.01.14
同上 2011.04.26
セミナ・ディジタルハードウェア開発におけるアーキテクチャ設計の基礎，CQ出版社エレクトロニクス・セミナ，2011.10.01
同上 2012.06.19
セミナ・最新FPGA開発技法集中講座，CQ出版社エレクトロニクス・セミナ，2012.02.17-18
同上 2012.07.20-21

On-line Articles

最後のスペースシャトル「アトランティス」輸送　展示場に設置へ, ITmedia, 2012年11月9日
スペースシャトル「エンデバー」、ボーイング747に載ってアメリカ大陸横断, ITmedia, 2012年9月21日
セキュリティ実装で重みが増す"LSI全体アーキテクチャ設計"―― LSI設計の次のチャレンジを探る, CQ出版社 Tech Village, 2012年7月13日
スペースシャトル、最終飛行に飛び立つ, ITmedia, 2011年7月11日
スペースシャトル「アトランティス」打ち上げ、天候が最大の懸念, ITmedia, 2011年7月8日
いよいよ迫るスペースシャトル最終飛行, ITmedia, 2011年7月5日
スペースシャトル「エンデバー」最終打ち上げ成功, ITmedia, 2011年5月19日
スペースシャトル「ディスカバリー」無事に着陸　そして引退, ITmedia, 2011年3月10日
スペースシャトル「ディスカバリー」最後の打ち上げへ向けて再び発射台へ, ITmedia, 2011年2月7日
「ディスカバリー」最後の打ち上げへ　発射台を写真リポート、はちゅねミクも見守る, ITmedia, 2010年11月4日
「みんなが宇宙に行ってほしい」　山崎飛行士らがミッション報告会, ITmedia, 2010年7月2日
フォトリポート：初音ミクついに宇宙へ！　「あかつき」打ち上げ成功 , ITmedia, 2010年5月21日
フォトリポート：初音ミク搭乗の「あかつき」、打ち上げに再チャレンジ, ITmedia, 2010年5月20日
初音ミク搭乗の金星探査機「あかつき」、打ち上げに向け発射台へ, ITmedia, 2010年5月17日
スペースシャトル「ディスカバリー」、クローズアップ写真集, ITmedia, 2010年4月23日
山崎さん乗せたディスカバリー着陸　現地から写真リポート, ITmedia, 2010年4月21日
初音ミク「あかつき」に搭乗！　種子島で実機を見てきた, ITmedia, 2010年4月8日
山崎さん搭乗のディスカバリー、打ち上げ成功, ITmedia, 2010年4月6日
山崎さん、ディスカバリー発射台へ出発, ITmedia, 2010年4月5日
金星へ飛び立つ「あかつき」と初音ミクパネルを見てきた, ITmedia, 2010年2月23日
不況の影響？ EDA技術は派手なコンセプトよりも地道な改良が主流に ―― DAC（Design Automation Conference） 2009レポート, CQ出版社 Tech Village，2009年8月5日
GW短期集中連載！マイクロはちゅねで楽しいネット工作の世界へ（第1回～第6回）, 技術評論社, 2009年5月
【ASP-DACプレ】設計者目線のセッション「デザイナーズ・フォーラム」，SoCやアナログの設計事例を紹介, 日経Tech!On，2008年12月16日

Contact: Sumio Morioka (Home Page), morioka@fb3.so-net.ne.jp.