電?情報?暗号プロトコルの安全性自動検証?科研費(代表) 基盤（C）平成29年-令和2年?科研費(分担)基盤（B）平成22年-25年?科研費(分担) 基盤（A）平成21年-25年?共同188bet体育_188bet备用网址(エプソンアヴァシス株式会社)令和元年度より47准教授岡﨑裕之188bet体育_188bet备用网址キーワード188bet体育_188bet备用网址から広がる未来188bet体育_188bet备用网址シーズ共同188bet体育_188bet备用网址?外部資?獲得実績暗号理論?形式的?法?定理証明?計算理論?数理論理?数理構造卒業後の未来像最近の188bet体育_188bet备用网址トピックス岡﨑188bet体育_188bet备用网址室では暗号の188bet体育_188bet备用网址をおこなっています。暗号はICT社会をささえるインフラの要素として重要となっています。しかし、暗号は情報理論、計算理論、あるいは数学など情報工学のさまざまな技術分野の上に成り立つ総合的な学問分野であり専門家の数は限られています。数理的技法を用いてコンピュータを使って暗号システムの安全性を検証する仕組みを作り、暗号の専門家でなくてもセキュリティバイデザインを実現するために暗号技術を正しく使い、安全な情報システムの設計?開発が行えるようにします。IoT,フィンテックをはじめとするSociety5.0を実現する様々なテクノロジーは暗号技術なくして成り立ちません。電子情報システムのすべてを支え、ブレイクスルーをもたらす根幹技術を開発しましょう。確率的関数の識別不能性の形式化アルゴリズムの形式化暗号方式の形式化計算量の形式化暗号プリミティブの形式化暗号プロトコルの安全性検証（SSL/TLS等）IoTの通信プロトコル等も安全性検証できます情報セキュリティ人材が不足しています。暗号に限らず情報セキュリティに関する理論、技術、法律やマネージメント等幅広い知識を習得し、情報セキュリティの専門家として活躍することを期待しています。計算機援用による形式的定理証明システムMizar 上での共通鍵暗号方式AES(Advanced Encryption Standard)の形式化記述コード（一部抜粋）博士（工学）（京都工芸繊維大学）信州大学大学院助手、助教を経て2021年より現職。暗号理論の188bet体育_188bet备用网址に従事。数論アルゴリズム応用による暗号方式実装技術、形式的手法による暗号の安全性証明、IoTデバイス向け相互認証システム、ネットワークセキュリティ技術の188bet体育_188bet备用网址?開発に取り組む。?形式的手法による暗号方式の安全性証明形式手法による暗号の安全性証明自動検証システムの開発?科研費(分担)基盤（C）平成30年-令和3年情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発?情報通信188bet体育_188bet备用网址機構（NICT）委託188bet体育_188bet备用网址課題(分担)平成25年-27年組織間機密通信のための公開鍵システムの188bet体育_188bet备用网址開発ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発センサネットワークの安全?安心を保証する情報セキュリティ技術の188bet体育_188bet备用网址IoTデバイス間相互認証方法の188bet体育_188bet备用网址?暗号プロトコル評価技術コンソーシアム会員https://www.cellos-consortium.org/jp/形式的安全性検証ツールProVerifによるCBCのパディングオラクル攻撃導出(抜粋)形式的定理証明システムMizarによるユークリッド互除法に関する定理(抜粋)第5回実践的IT教育シンポジウムrePiT2019 in 愛媛において電子情報システム工学科3年次科目デザインプロジェクトⅠで行った暗号プロトコル設計演習の取り組みが優秀教育実践賞として表彰されました教員本人の資格試験及び学生への指導に取り組んでいる情報処理安全確保支援士（登録番号018816）LinuCレベル3 303 Security認定【私の学問へのきっかけ】もともと理論物理学をやりたかったのですが、数学が苦手だったので工学系の大学の実験物理学、特に電子顕微鏡の188bet体育_188bet备用网址をやっていた電子情報工学科に入りました。電気、通信、情報など幅広く勉強しましたが、符号理論の先生が教鞭をとられていた情報数学の講義で苦手であった微分?積分をやらなくてもよい数学があると知りました。システム?学科情報セキュリティの基礎理論暗号?論理?数理で実現するSociety 5.0
元のページ ../index.html#49