森岡 澄夫

大型編隊飛行を用いた高速ダイレクト通信衛星の方式検討 

電子電子情報通信学会論文誌A 基礎・境界 J108-A(6) 128-142 2025年6月1日  査読有り招待有り筆頭著者責任著者

Formal Verification of Composite Field Multipliers for Information-Theoretically Secure Radio Communication in Spacecraft Control 

The 17th NASA Formal Methods Symposium (NFM2025) 2025年6月  査読有り筆頭著者責任著者

A FAST INFORMATION THEORETICALLY SECURE RADIO COMMUNICATION PROTOCOL BASED ON GNSS POSITIONING 

34th Congress of the International Council of the Aeronautical Sciences ICAS2024_0559 2024年9月  査読有り筆頭著者責任著者

民間宇宙ロケット用アビオニクス機器に対する諸要求と実現 

電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers 105(4) 2022年4月  査読有り招待有り筆頭著者責任著者

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 2009年  査読有り招待有り筆頭著者責任著者

A 10-Gbps full-AES crypto design with a twisted BDD S-Box architecture. 

IEEE Transactions on Very Large Scale Integration (VLSI) Systems 12(7) 686-691 2004年  査読有り筆頭著者責任著者

An Optimized S-Box Circuit Architecture for Low Power AES Design 

Lecture Notes in Computer Science 172-186 2002年  査読有り筆頭著者責任著者

Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m) 

Lecture Notes in Computer Science lncs 2102 465-477 2001年  査読有り筆頭著者責任著者

Design Methodology for a One-Shot Reed-Solomon Encoder and Decoder. 

Proceedings of the IEEE International Conference On Computer Design, VLSI in Computers and Processors(ICCD) 60-67 1999年  査読有り筆頭著者責任著者