Home
米山研究室では、暗号理論を応用して「情報」をより安心して使いやすくするための情報セキュリティ技術を研究しています。
研究室からのお知らせ
2024/11/20：ICISC 2024発表
三田（M1）が、韓国で開催されたAnnual International Conference on Information Security and Cryptology (ICISC 2024)にて一括乗算による秘密計算の効率化について発表を行いました。
2024/10/23：コンピュータセキュリティシンポジウムチュートリアル講演
米山が、神戸で開催されたコンピュータセキュリティシンポジウム（CSS 2024）にて形式検証×セキュリティの最新の研究動向についてチュートリアル講演を行いました。
2024/9/17：Journal of Information Processing掲載
IoT環境に適した認証鍵交換に関する論文がJournal of Information Processingに掲載されました。
2024/9/15：日本応用数理学会年会発表
藤田（M2）が、京都で開催された日本応用数理学会2024年度年会にて発表を行いました。
2024/7/27：金沢暗号理論勉強会招待講演
米山が、金沢で開催された第7回金沢暗号理論勉強会にて同種写像問題に基づく耐量子計算機パスワード認証鍵交換について招待講演を行いました。
2024/7/16：ACISP 2024発表
渡部（M1）が、オーストラリアで開催されたAustralasian Conference on Information Security and Privacy (ACISP 2024)にてクレジットカード非対面決済EMV 3D-Secureの形式検証について発表を行いました。
2024/7/2：APKC 2024発表
藤田（M2）、三田（M2）が、シンガポールで開催されたACM ASIA Public-Key Cryptography Workshop (APKC 2024)にて非接触充電標準Qiの形式検証と緊密な安全性を満たすIDベース認証鍵交換についてそれぞれ発表を行いました。
2024/6/5：情報処理学会論文誌論文賞受賞
2024/5/24：「暗号の理論と技術 量子時代のセキュリティ理解のために」（講談社）出版
米山が著者の一人として加わった「暗号の理論と技術 量子時代のセキュリティ理解のために」が講談社より出版されました。米山は「7章 形式手法による安全性検証」の執筆を担当しました。
2024/1/23～1/26：暗号と情報セキュリティシンポジウム発表
小川（M1）、藤田（M1）、下位（B4）、三田（B4）、渡部（B4）が、長崎で開催された暗号と情報セキュリティシンポジウム（SCIS 2024） にて発表を行いました。
2023/12/15：情報処理学会論文誌ジャーナル特選論文選定
2023/12/15：情報処理学会論文誌掲載
2023/9/1：IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences 掲載
標準モデルで安全な耐量子一方向認証鍵交換に関する論文がIEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciencesに掲載されました。
2023/8/31：IWSEC 2023招待講演
米山が、東京で開催されたInternational Workshop on Security (IWSEC 2023)にてIoT環境に適した認証鍵交換について招待講演を行いました。
2023/7/7：ACISP 2023発表
米山が、オーストラリアで開催されたAustralasian Conference on Information Security and Privacy (ACISP 2023)にて同種写像問題に基づく耐量子計算機パスワード認証鍵交換について発表を行いました。