96情情報報セセキキュュリリテティィのの基基礎礎理理論論暗暗号号・・論論理理・・数数理理でで実実現現すするるSSoocciieettyy 55..00研究から広がる未来卒業後の未来像最近の研究トピックス研究キーワード暗号理論 ・ 形式的手法 ・ 定理証明 ・ 計算理論 ・ 数理論理 ・ 数理構造形式的安全性検証ツールProVerifによるCBCのパディングオラクル攻撃導出(抜粋)エプソンアヴァシス株式会社共同研究IoTセキュリティ(TMP2.0へのサイドチャネルアタック実験)教員本人の資格試験及び学生への指導に取り組んでいる情報処理安全確保支援士（登録番号018816）LinuCレベル3 303 Security認定第5回実践的IT教育シンポジウムrePiT2019 in 愛媛において電子情報システム工学科3年次科目デザインプロジェクトⅠで行った暗号プロトコル設計演習の取り組みが優秀教育実践賞として表彰されました私の学問へのきっかけ准教授 岡﨑 裕之IoT, フ ィ ン テ ッ ク を は じ め と す るSociety 5.0を実現する様々なテクノロジーは暗号技術なくして成り立ちません。電子情報システムのすべてを支え、ブレイクスルーをもたらす根幹技術を開発しましょう。情報セキュリティ人材が不足していま す 。 暗 号 に 限 ら ず 情 報 セ キ ュ リティに関する理論、技術、法律やマネージメント等幅広い知識を習得し 、情報セキュリティの専門家として活躍することを期待しています。博士（工学）（京都工芸繊維大学）2021 年 よ り 現 職 。 暗 号 理論 の 研 究 に 従 事 。 数 論 アル ゴ リ ズ ム 応 用 に よ る 暗号 方 式 、 形 式 的 安 全 性 証明等に取り組む。もともと理論物理学をやりたかったのですが、数学が苦手だったので工学系の大学の実験物理学、特に電子顕微鏡の研究をやっていた電子情報工学科に入りました。電気、通信、情報など幅広く勉強しましたが、符号理論の先生が教鞭をとられていた情報数学の講義で苦手であった微分・積分をやらなくてもよい数学があると知りました。セキュリティは情報通信分野全般にわたる応用分野であり、必要とされる課題が尽きません。QRを配置無線LANセキュリティ情報処理学会第61回インターネットと運用技術研究会 学生奨励賞を受賞WPA2-Enterpriseに対するRaspberryPiを用いた2段階EvilTwin攻撃の提案岡﨑研究室では暗号の研究をおこなっています。暗号はICT社会をささえるインフラの要素として重要となっています。しかし、暗号は情報理論、計算理論、あるいは数学など情報工学のさまざまな技術分野の上に成り立つ総合的な学問分野であり専門家の数は限られています。数理的技法を用いてコンピュータを使って暗号システムの安全性を検証する仕組みを作り、暗号の専門家でなくてもセキュリティバイデザインを実現するために暗号技術を正しく使い、安全な情報システムの設計・開発が行えるようにします。顔写真を配置研 究 シ ー ズ◼ 形式的手法による暗号方式の安全性証明確率的関数の識別不能性の形式化アルゴリズムの形式化暗号方式の形式化計算量の形式化◼ 暗号プロトコルの安全性自動検証暗号プリミティブの形式化暗号プロトコルの安全性検証（SSL/TLS等） IIooTTのの通通信信ププロロトトココルル等等もも安安全全性性検検証証ででききまますす共同研究・外部資金獲得実績◼ 科研費(代表) 基盤（C）令和7年-令和10年ブロックチェーン関連技術の形式的安全性検証に関する研究◼ 科研費(分担) 基盤（C）令和4年-令和7年ネットワークシステムのセキュリティで等価な仮想評価環境の構築◼ 科研費(代表) 基盤（C）平成29年-令和2年形式手法による暗号の安全性証明自動検証システムの開発◼ 科研費(分担) 基盤（C）平成30年-令和3年情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発◼ 共同研究 (エプソンアヴァシス株式会社) 令和元年度よりIoTデバイス間相互認証方法の研究 (共同研究成果)PatentNo.: US11,757,856B2Mienoetal. (45)DateofPatent: Sep. 12, 2023CRYPTOGRAPHICCOMMUNICATION SYSTEM,CRYPTOGRAPHICCOMMUNICATIONMETHOD,AND CRYPTOGRAPHICCOMMUNICATIONAPPARATUS
元のページ ../index.html#97