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