Rchr
J-GLOBAL ID：201801001215768877   Update date: Feb. 01, 2024

Futa Yuichi

フタ ユウイチ | Futa Yuichi
Affiliation and department：
Tokyo University of Technology School of Computer Science Department of Computer Science

About Tokyo University of Technology School of Computer Science Department of Computer Science


Job title： Professor
Research field  (2)： Information theory ,  Information security
Research keywords  (4)： Formal verification of cryptosystems ,  Cryptology ,  Formal verification of cryptosystems ,  Cryptology
Research theme for competitive and other funds  (6)：
  • 2022 - 2026 形式手法を用いた数論アルゴリズムの設計支援システムの開発
  • 2022 - ネットワークシステムのセキュリティで等価な仮想評価環境の構築
  • 2018 - 2021 情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発
  • 2017 - 2021 Developing Automated formal Verification System for Cryptology
  • 2015 - 2019 Study on tamper-resistant software technology with theoretic security evaluation
Show all
Papers (41)：
ｍore...
MISC (2)：
  • Kazuhisa Nakasho, Yuichi Futa. Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces. Formalized Mathematics. 2022. 30. 1. 67-77
  • Kazuhisa Nakasho, Yuichi Futa. Inverse Function Theorem. Part I. Formalized Mathematics. 2021. 29. 1. 9-20
Books (1)：
  • IT Text 情報セキュリティ
    オーム社 2003
Lectures and oral presentations  (53)：
  • 心理操作テクニックを利用した標的型メール攻撃への対策
    (2023年暗号と情報セキュリティシンポジウム(SCIS2023) 2023)
  • ブロックチェーンによる医療用IoT機器の改ざん防止システムの提案
    (2023年暗号と情報セキュリティシンポジウム(SCIS2023) 2023)
  • ブラウザフィンガープリントを用いたユーザー認証システムに関する考察
    (2023年暗号と情報セキュリティシンポジウム(SCIS2023) 2023)
  • Tamarin-prover を用いたAEAD の形式的安全性検証
    (2023年暗号と情報セキュリティシンポジウム(SCIS2023) 2023)
  • 制御システムにおける多地点パケットキャプチャを利用した異常検知
    (コンピュータセキュリティ研究会(CSEC) 2022)
ｍore...
Education (1)：
  • 2009 - 2012 Shinshu University Interdisciplinary Graduate School of Science and Technology Department of Mathematics and System Development
Professional career (1)：
  • Doctor of Engineering (Shinshu University)
Work history (13)：
  • 2021/04 - 現在 東京工科大学 コンピュータサイエンス学部 教務委員会
  • 2021/04 - 現在 東京工科大学大学院 バイオ・情報メディア研究科 コンピュータサイエンス専攻 博士後期課程 教授
  • 2021/04 - 現在 東京工科大学大学院 バイオ・情報メディア研究科 コンピュータサイエンス専攻 修士課程 教授
  • 2021/04 - 現在 Tokyo University of Technology School of Computer Science Department of Computer Science Professor
  • 2017/04 - 2021/04 Tokyo University of Technology of Bionics, Computer and Media Sciences, Graduate School
Show all
Committee career (3)：
  • 2015/01 - 2015/12 The Ninth International Conference on Provable Security (ProvSec 2015) 実行委員
  • 2006/03 - 2013/02 ISO/IEC JTC1 SC27専門委員会 委員
  • 2001/04 - 2006/03 ISO/IEC JTC1 SC27 WG2委員会 委員
Awards (3)：
  • 2019/01 - 日本ソフトウェア科学会 実践的IT教育研究会 優秀教育実践賞 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について
  • 2012/01 - 一般社団法人 大阪発明協会 大阪優秀発明賞 コンテンツデータ高速検証技術(特許第4084827号)
  • 2011/11 - 公益社団法人 発明協会 発明奨励賞 データの正当性高速検証に関する基本発明(特許第4084827号)
Association Membership(s) (2)：
Information Processing Society of Japan ,  The Institute of Electronics, Information and Communication Engineers
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM