Tokyo University of Technology · Faculty of Computer Science · 教授

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 2024/11 論文 仮想環境を用いたDDoS攻撃の分析と防御 学術情報処理研究 28(1),30-43頁 （共著）2024 · 著書・論文歴
• 2023/07 論文 Formal Verification of Authenticated Encryption with Associated Data with Tamarin Prover 2023 International Conference on Security and Management (SAM'23) （共著）2023 · 著書・論文歴
• 2022/07 論文 Comparison of Tamarin-prover and ProVerif security verification 2022 International Conference on Security and Management (SAM'22) （共著）2022 · 著書・論文歴
• 2021/05 論文 Virtual Environment for Analysis and Evaluation of DDoS Attacks INTRICATE-SEC-2021, Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021) pp.459-468 （共著）2021 · 著書・論文歴

• 2025/04～ ブロックチェーン関連技術の形式的安全性検証に関する研究 基盤研究(C)（一般） （キーワード：形式手法、暗号理論、安全性検証、ブロックチェーン、マルコフチェーン）2025 · 研究課題・受託研究・科研費
• 2018/04～2022/03 情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発 基盤研究(C)（一般） （キーワード：情報セキュリティ人材育成、暗号技術学習支援、eラーニングシステム）2018 · 研究課題・受託研究・科研費
• 2015/04～2019/03 理論的な安全性評価が可能な耐タンパーソフトウェア技術の研究 基盤研究 (C)（一般） （キーワード：耐タンパーソフトウェア、コード難読化）2015 · 研究課題・受託研究・科研費
• 形式手法を用いた数論アルゴリズムの設計支援システムの開発

• Official profile
• ORCID