ARAI Kenichi 荒井研一

Researcher Number	60645290
Other IDs
Affiliation (Current)	2025: 長崎大学, 総合生産科学研究科(情報データ科学系), 准教授
Affiliation (based on the past Project Information) *help	2025: 長崎大学, 総合生産科学研究科(情報データ科学系), 准教授 2020 – 2024: 長崎大学, 情報データ科学部, 准教授 2015 – 2020: 長崎大学, 工学研究科, 助教 2013 – 2014: 東京理科大学, 理工学部, 助教
Review Section/Research Field	Principal Investigator Basic Section 60070:Information security-related / Basic Section 60060:Information network-related / Information security Except Principal Investigator Basic Section 60070:Information security-related / Basic Section 02100:Foreign language education-related / Medium-sized Section 62:Applied informatics and related fields / Basic Section 62020:Web informatics and service informatics-related / Information security / Educational technology
Keywords	Principal Investigator ProVerif / 自動検証 / 安全性 / 形式手法 / ワンタイムパスワード認証方式 / ストリートビュー / バリアフリー / 全天球カメラ / スマートフォン / センサ情報 … More / パノラマ動画 / 車椅子 / 動画版システム / WIDER FACE / 静止画・動画版システム / パノラマ写真・動画 / IoT / YOLO / パノラマ写真（動画） / モザイク処理 / センサ情報の取得 / 車椅子利用者向けシステム / バリアフリーストリートビュー / CryptoVerif / Mizar / 自動証明 / フォーマルメソッド / 暗号プロトコル … More Except Principal Investigator AI / IoT / スマート養殖 / 暗号理論 / Mizar / マルコフチェーン / ブロックチェーン / 安全性検証 / 形式手法 / 指導と評価の一体化 / ICT / 言語活動 / 指導と評価 / 人工知能（AI) / デジタル・ツイン / ギガ・スクール / 個別最適な学び / 小学校英語教育 / 給餌判定AI / Worm Pod / Aqua Colony Platform / Meta AI Architecture / メタAI / レジリエント・ネットワーク / センサプラットフォーム / センサプラットホーム / センサープラットフォーム / 生け簀ロボット / 機械学習 / 自動給餌 / ドローン / オプティカルフロー / Support Vector Machine / Rose Map / Optical Flow / スマート生け簀 / 自動給餌AIドローン / 応用数学 / 暗号・認証等 / 攻撃モデル形式化 / アルゴリズムのステップ数形式化 / 統計的識別不能性形式化 / 繰り返しおよび再帰形式化 / 安全性要件形式化 / アルゴリズムの計算量形式化 / 暗号システム / 安全性証明 / 形式検証 / ProVerif / モデル検査 / 形式的定理証明 / 形式的安全性検証 / 計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / 定理証明支援系 / 形式化数学 / e-learning / プルーフチェッカ / eラーニング Less

Study on Formal Security Verification of Blockchain-related Technologies
- Principal Investigator
  
  岡崎裕之
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Shinshu University
Security Evaluation of One-Time Password Authentication Using ProVerifPrincipal Investigator
- Principal Investigator
  
  荒井研一
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60070:Information security-related
- Research Institution
  Nagasaki University
Meta AI Architectureにより完全自動養殖を可能とするAqua Colony Platformの研究
- Principal Investigator
  
  小林透
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 62:Applied informatics and related fields
- Research Institution
  Komazawa University
  Nagasaki University
小学校英語教育における児童に最適化されたAIアバターの開発と現場への導入
- Principal Investigator
  
  中村典生
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 02100:Foreign language education-related
- Research Institution
  Nagasaki University
Nature Resilient Network-type Fish Cage Robots Adaptable to Environmental Changes
- Principal Investigator
  
  Kobayashi Toru
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 62020:Web informatics and service informatics-related
- Research Institution
  Nagasaki University
On-demand barrier-free street view systemPrincipal Investigator
- Principal Investigator
  
  ARAI Kenichi
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  Nagasaki University
Developing Automated formal Verification System for Cryptology
- Principal Investigator
  
  Okazaki Hiroyuki
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Information security
- Research Institution
  Shinshu University
Computer-based Evaluation of Cryptographic Protocol SecurityPrincipal Investigator
- Principal Investigator
  
  ARAI Kenichi
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Information security
- Research Institution
  Nagasaki University
  Tokyo University of Science
Content Development for Distance Education in Advanced University Mathematics Using Mizar
- Principal Investigator
  
  SHIDAMA Yasunari
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Educational technology
- Research Institution
  Shinshu University

[Journal Article] Fish School Behaviour Classification for Optimal Feeding Using Dense Optical Flow2023
- Author(s)
  Kazuki FUKAE , Tetsuo IMAI , Kenichi ARAI , Toru KOBAYASHI
- Journal Title
  
  IEICE TRANSACTIONS on Information and Systems
  
  Volume: Vol.E106-D Pages: 1472-1479
- DOI
  10.1109/icce59016.2024.10444224
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21H03558
[Journal Article] Development of Observation Device with Multi-Sensor Platform for Underwater Aquaculture Cages2022
- Author(s)
  深江一輝、今井哲郎、荒井研一、小林透
- Journal Title
  
  電子情報通信学会論文誌D 情報・システム
  
  Volume: J105-D Issue: 10 Pages: 594-602
- DOI
  10.14923/transinfj.2021LIP0010
- ISSN
  1880-4535, 1881-0225
- Year and Date
  2022-10-01
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21H03558
[Journal Article] 自律型アオコ除去システム2020
- Author(s)
  荒井研一、中島良太、今井哲郎，小林透
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 61(3) Pages: 544-554
- NAID
  170000181782
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11267
[Journal Article] 製造現場の作業分析結果を利用したカメラと深層学習による作業手順のリアルタイム監視システム2020
- Author(s)
  村井浩一、今井哲郎、荒井研一、小林透
- Journal Title
  
  情報処理学会論文誌コンシューマ・デバイス＆システム（CDS）
  
  Volume: 10(3) Pages: 1-10
- NAID
  170000183427
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11267
[Journal Article] ソーシャルバリアフリーストリートビューシステム2019
- Author(s)
  荒井研一、中島良太、小林透
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 60(3) Pages: 821-829
- NAID
  170000150204
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11267
[Journal Article] バリアフリーストリートビューシステムにおける傾斜情報提供方式の提案2019
- Author(s)
  三浦千里、中島良太、荒井研一、小林透
- Journal Title
  
  情報処理学会論文誌コンシューマ・デバイス＆システム（CDS）
  
  Volume: 9(1) Pages: 11-21
- NAID
  170000150066
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K11267
[Journal Article] Difference of Function on Vector Space over F2014
- Author(s)
  Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki
- Journal Title
  
  Formalized Mathematics
  
  Volume: 22(3) Issue: 3 Pages: 269-275
- DOI
  10.2478/forma-2014-0027
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26730067
[Journal Article] N-dimensional Binary Vector Spaces2013
- Author(s)
  Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(2) Issue: 2 Pages: 75-81
- DOI
  10.2478/forma-2013-0008
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formalization of the Advanced Encryption Standard. Part I2013
- Author(s)
  Kenichi Arai, Hiroyuki Okazaki
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(3) Issue: 3 Pages: 171-184
- DOI
  10.2478/forma-2013-0019
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[Journal Article] Isomorphisms of Direct Product of Finite Cyclic Groups2012
- Author(s)
  Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Issue: 4 Pages: 343-347
- DOI
  10.2478/v10037-012-0038-5
- NAID
  120007101124
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Patent] 給餌制御システム、給餌制御方法、及びプログラム2024
- Inventor(s)
  小林　透、荒井　研一、今井　哲郎
- Industrial Property Rights Holder
  小林　透、荒井　研一、今井　哲郎
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2024-045601
- Filing Date
  2024
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] 養殖生け簀向け自動給餌AIドローンの研究2024
- Author(s)
  小林透 , 田中祐大 , 半田丈都 , 石下里奈 , 深江一輝 , 高橋秀幸 , 今井哲郎 , 荒井研一
- Organizer
  電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（LOIS）
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] スマート養殖の実現に向けた給餌用ドローンシステムの研究2024
- Author(s)
  半田丈都 , 田中祐大 , 石下里奈 , 深江一輝 , 今井哲郎 , 荒井研一 , 高橋秀幸 , 小林透
- Organizer
  電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（LOIS）
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] 小学生英会話教育のパーソナライズ化の研究2024
- Author(s)
  原田拓実，松尾一志，松尾三央子，中村典生，荒井研一，小林透
- Organizer
  電子情報通信学会ライフインテリジェンスとオフィス情報システム（LOIS）研究会
- Data Source
  KAKENHI-PROJECT-23K21950
[Presentation] Metaverse of Thingsと生成AIの融合によるサービス開発技術2024
- Author(s)
  小林透 , 田中祐大 , 磯﨑敦史 , 山田洋史 , 戸川大樹 , 深江一輝 , 荒井研一 , 今井哲郎
- Organizer
  電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（LOIS）
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] Fish School Behaviour Classification for Optimal Feeding Using Rose Diagram2024
- Author(s)
  Kazuki Fukae , Yudai Tanaka , Tetsuo Imai , Kenichi Arai , Toru Kobayashi
- Organizer
  IEEE 42nd International Conference on Consumer Electronics (ICCE 2024)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] 養殖ブリ出荷時期予測のための魚体長測定の研究2024
- Author(s)
  石下里奈 , 田中祐大 , 半田丈都 , 深江一輝 , 高橋秀幸 , 今井哲郎 , 荒井研一 , 小林透
- Organizer
  電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（LOIS）
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] Aqua Colony for Fully Automated Aquaculture2023
- Author(s)
  Toru Kobayashi , Yudai Tanaka , Kazuki Fukae , Tetsuo Imai , Kenichi Arai
- Organizer
  2023 11th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (CISOSE2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] スマート養殖の実現に向けたアクア・コロニーの研究2023
- Author(s)
  小川　翔也、田中　祐大、深江　一輝、今井　哲郎、荒井　研一、小林　透
- Organizer
  電子情報通信学会　ライフインテリジェンスとオフィス情報システム（LOIS）研究会
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] 小学校英語教育にAI導入は可能か－AIを使用した試行授業の結果を踏まえてー2023
- Author(s)
  中村典生，小林透，荒井研一
- Organizer
  小学校英語教育学会（JES）
- Data Source
  KAKENHI-PROJECT-23K21950
[Presentation] スマート養殖実現のための自動給餌方式の研究2023
- Author(s)
  田中　祐大、小川　翔也、深江　一輝、今井　哲郎、荒井　研一、小林　透
- Organizer
  電子情報通信学会　ライフインテリジェンスとオフィス情報システム（LOIS）研究会
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] ローズダイヤグラム時系列を用いた給餌時の魚群活性度判定2023
- Author(s)
  田中祐大 , 石下里奈 , 深江一樹 , 今井哲郎 , 荒井研一 , 小林透
- Organizer
  情報処理学会第38回コンシューマ・デバイス＆システム（CDS）研究会
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] IoT/AI Technology for Aqua Colony2023
- Author(s)
  Toru Kobayashi , Yudai Tanaka , Daiki Togawa , Junpei Takaishi , Rina Ishishita , Kazuki Fukae , Tetsuo Imai , Kenichi Arai
- Organizer
  IIAI AAI 2023-Winter 15th International Congress on Advanced Applied Informatics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] 小学生英会話学習システムにおける音声認識手法の提案2023
- Author(s)
  松尾三央子，秋山巧磨，荒井研一，小林透，中村典生
- Organizer
  情報処理学会コンシューマ・デバイス＆システム（CDS）研究会
- Data Source
  KAKENHI-PROJECT-23K21950
[Presentation] A Proposal for Expansion of Conversation Variations in an English Conversation Learning System for Elementary School Students2023
- Author(s)
  Mioko Matsuo, Takuma Akiyama, Kenichi Arai, Toru Kobayashi, Norio Nakamura
- Organizer
  2023 IEEE 12th Global Conference on Consumer Electronics (GCCE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K21950
[Presentation] 完全自動養殖を可能とするアクア・コロニーの研究2023
- Author(s)
  小林透 , 田中祐大 , 石下里奈 , 深江一輝 , 今井哲朗 , 荒井研一
- Organizer
  電子情報通信学会サービスコンピューティング (SC) 研究会
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] AIを用いた編網機における網目異常検知手法の提案2022
- Author(s)
  小川　翔也、世永　宜之、深江　一輝、今井　哲郎、荒井　研一、小林　透
- Organizer
  電子情報通信学会　ライフインテリジェンスとオフィス情報システム（LOIS）研究会
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] Quantification of Fish Behavior Using Optical Flow2022
- Author(s)
  Yudai Tanaka, Shintaro Yamabe, Kazuki Fukae, Tetsuo Imai, Kenichi Arai, Toru Kobayashi
- Organizer
  2022 IEEE 11th Global Conference on Consumer Electronics (GCCE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] オプティカルフローを用いた最適給餌のための魚群行動分類2022
- Author(s)
  深江　一輝、田中　祐大、今井　哲郎、荒井　研一、小林　透
- Organizer
  情報処理学会　コンシューマ・デバイス＆システム（CDS）研究会
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] Interpretable image features for anomaly identification on hexagonal net knitting machines2022
- Author(s)
  Tetsuo Imai, Shoya Ogawa, Nobuyuki Yonaga, Kazuki Fukae, Kenichi Arai, Toru Kobayashi
- Organizer
  2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] Feature Extraction System During Bolt Tightening Work by Regression CNN and Classification CNN2021
- Author(s)
  Koichi Murai, Tetsuo Imai, Kenichi Arai, Toru Kobayashi
- Organizer
  39th IEEE International Conference in Consumer Electronics (ICCE2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11267
[Presentation] Development of Observation Device with Multi Sensor Platform for Underwater Aquaculture Cages2021
- Author(s)
  Kazuki Fukae, Tetsuo Imai, Shintaro Yamabe, Kenichi Arai, Toru Kobayashi
- Organizer
  2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] Multi-sensor Platform for Smart Aquaculture2021
- Author(s)
  Shintaro Yamabe, Kazuki Fukae, Tetsuo Imai, Kenichi Arai, Toru Kobayashi
- Organizer
  2021 IEEE 10th Global Conference on Consumer Electronics (GCCE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] ProVerifを用いたスポンジ構造の形式化2021
- Author(s)
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- Organizer
  2021年暗号と情報セキュリティシンポジウム（SCIS2021)
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] Photovoltaic Power Prediction System Followable to Gaps of Weather Forecasts2021
- Author(s)
  Tetsuo Imai, Satoshi Ichimaru, Kenichi Arai, Toru Kobayashi
- Organizer
  2021 IEEE 10th Global Conference on Consumer Electronics (GCCE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] 海洋環境観測装置のための局所的・短期的太陽光発電量予測システム2021
- Author(s)
  今井　哲郎、市丸理士、荒井　研一、小林　透
- Organizer
  電子情報通信学会　サービスコンピューティング（SC）研究会
- Data Source
  KAKENHI-PROJECT-21H03558
[Presentation] 回帰と分類用の深層学習を用いた製造現場での作業動作特徴抽出システム2020
- Author(s)
  村井浩一、今井哲郎、荒井研一、小林透
- Organizer
  第28回コンシューマ・デバイス＆システム（CDS）研究発表会
- Data Source
  KAKENHI-PROJECT-18K11267
[Presentation] モデル検査器ProVerifによるDES暗号の形式化2020
- Author(s)
  磯貝百恵,岡崎裕之,荒井研一,布田裕一,三重野武彦
- Organizer
  2020年電子情報通信学会総合大会
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifを用いたMD変換の形式化2020
- Author(s)
  吉村東悟,荒井研一,岡崎裕之,布田裕一,三重野武彦
- Organizer
  日本応用数理学会 2020年度年会
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifを用いたMD変換の形式化2020
- Author(s)
  吉村　東悟,荒井　研一,岡崎　裕之,布田　裕一,三重野　武彦
- Organizer
  2020年暗号と情報セキュリティシンポジウム（SCIS2020)
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] Formal Verification of Merkle-Damgard Construction in ProVerif2020
- Author(s)
  Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
- Organizer
  The International Symposium on Information Theory and Its Applications(ISITA2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] Multimodal User Interface for QR Code Based Indoor Navigation System2020
- Author(s)
  Tomoya Wada, Yuta Kishimoto, Tetsuo Imai, Kenichi Arai, Eisuke Nakazawa, Tomohito Suzuki, Toru Kobayashi
- Organizer
  2020 IEEE 9th Global Conference on Consumer Electronics (GCCE 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11267
[Presentation] Independent Algal Bloom Removal System2019
- Author(s)
  Kenichi Arai, Ryota Nakashima, Tetsuo Imai, Toru Kobayashi
- Organizer
  2019 International Conference on Internet Computing and Internet of Things (ICOMP’19)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11267
[Presentation] ProVerifを用いたCT及びブロックチェーンの形式化2019
- Author(s)
  荒井研一, 岡崎裕之, 布田裕一
- Organizer
  2019年暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] パノラマ動画を用いたバリアフリーストリートビューシステムの提案2019
- Author(s)
  鬼丸禎史, 荒井研一, 今井哲郎, 小林透
- Organizer
  ライフインテリジェンスとオフィス情報システム研究会（LOIS）
- Data Source
  KAKENHI-PROJECT-18K11267
[Presentation] Slope Information Collection System Using Sensor Information from General-Purpose Wheelchair Users2019
- Author(s)
  Kenichi Arai, Chisato Miura, Toru Kobayashi
- Organizer
  2019 IEEE International Conference on Consumer Electronics (ICCE)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11267
[Presentation] Formalization of Security Requirements and Attack Models for Cryptographic Hash Functions in ProVerif2019
- Author(s)
  Togo Yoshimura, Kenichi Arai, Hiroyuki Okazaki, Yuichi Futa
- Organizer
  ProVerif,The 2019 International Conference on Security and Management (SAM'19)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerif を用いたTLS1.3ハンドシェイクプロトコルの形式検証2018
- Author(s)
  荒井研一, 岡崎裕之, 布田裕一
- Organizer
  日本応用数理学会 2018年度年会
- Invited
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif2018
- Author(s)
  Okazaki Hiroyuki、Futa Yuichi、Arai Kenichi
- Organizer
  The International Symposium on Information Theory and Its Applications(ISITA2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifを用いたCTの形式化2018
- Author(s)
  荒井　研一、岡崎　裕之、布田　裕一
- Organizer
  2018年暗号と情報セキュリティシンポジウム (SCIS2018)
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] 車椅子利用者を笑顔にするバリアフリーストリートビューシステムの提案2018
- Author(s)
  三浦千里、中島良太、荒井研一、小林透
- Organizer
  第22回コンシューマ・デバイス＆システム（CDS）研究発表会
- Data Source
  KAKENHI-PROJECT-18K11267
[Presentation] ProVerifにおける暗号プリミティブの安全性要件と攻撃モデルの形式化方法について2017
- Author(s)
  荒井　研一、岡崎　裕之、布田　裕一
- Organizer
  日本応用数理学会2017年度年会
- Data Source
  KAKENHI-PROJECT-17K00182
[Presentation] ProVerifにおけるphaseについて2017
- Author(s)
  荒井研一、岡崎裕之、布田裕一
- Organizer
  2017年暗号と情報セキュリティシンポジウム（SCIS2017）
- Place of Presentation
  ロワジールホテル那覇（沖縄県那覇市）
- Year and Date
  2017-01-25
- Data Source
  KAKENHI-PROJECT-26730067
[Presentation] ProVerifによるTLS1.3ハンドシェイクプロトコルの形式検証2016
- Author(s)
  荒井　研一
- Organizer
  SCAIS (Small-workshop on Communications between Academia and Industry for Security) 2016
- Place of Presentation
  熊本市国際交流会館（熊本県熊本市）
- Year and Date
  2016-01-18
- Data Source
  KAKENHI-PROJECT-26730067
[Presentation] ProVerif での形式化における技術的な注意点について2016
- Author(s)
  荒井研一、岡崎裕之
- Organizer
  日本応用数理学会 2016年度年会
- Place of Presentation
  北九州国際会議場（福岡県北九州市小倉）
- Year and Date
  2016-09-12
- Data Source
  KAKENHI-PROJECT-26730067
[Presentation] ProVerifによるTLS1.3ハンドシェイクプロトコルの形式検証（その2）2016
- Author(s)
  荒井　研一、徳重　佑樹、櫻田　英樹
- Organizer
  2016年暗号と情報セキュリティシンポジウム（SCIS2016）
- Place of Presentation
  ANAクラウンプラザホテル熊本ニュースカイ（熊本県熊本市）
- Year and Date
  2016-01-19
- Data Source
  KAKENHI-PROJECT-26730067
[Presentation] Proverifを用いた暗号プリミティブの形式化2016
- Author(s)
  岡崎　裕之、荒井　研一
- Organizer
  2016年暗号と情報セキュリティシンポジウム（SCIS2016）
- Place of Presentation
  ANAクラウンプラザホテル熊本ニュースカイ（熊本県熊本市）
- Year and Date
  2016-01-19
- Data Source
  KAKENHI-PROJECT-26730067
[Presentation] 暗号プロトコル評価ツールProVerifによるTLS1.3ハンドシェイクプロトコルの形式検証2015
- Author(s)
  荒井　研一
- Organizer
  暗号プロトコル技術評価コンソーシアム（CELLOS）シンポジウム2015
- Place of Presentation
  株式会社インターネットイニシアティブ（東京都千代田区）
- Year and Date
  2015-12-17
- Data Source
  KAKENHI-PROJECT-26730067
[Presentation] ProVerif によるTLS1.3ハンドシェイクプロトコルの形式検証2015
- Author(s)
  荒井　研一、渡辺　大、櫻田　英樹
- Organizer
  コンピュータセキュリティシンポジウム2015（CSS2015）
- Place of Presentation
  長崎ブリックホール（長崎県長崎市）
- Year and Date
  2015-10-21
- Data Source
  KAKENHI-PROJECT-26730067
[Presentation] Formalization Verification of AES Using the Mizar Proof Checker2012
- Author(s)
  Hiroyuki Okazaki,Kenichi Arai, Yasunari shidama
- Organizer
  2012 International Conference on Foundations of Computer Science
- Place of Presentation
  米国ラスベガス
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Mizarによる有限かつ離散的な標本空間における確率の形式化2011
- Author(s)
  荒井研一, 岡崎裕之
- Organizer
  2011年暗号と情報セキュリティシンポジウム
- Place of Presentation
  リーガロイヤルホテル小倉
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Formal Verification of Improved Numeric Comparison Protocol for Secure Simple Paring in Bluetooth Using ProVerif
- Author(s)
  Kenichi Arai, Toshinobu Kaneko
- Organizer
  The 2014 International Conference on Security and Management (SAM'14)
- Place of Presentation
  Monte Carlo Resort (Las Vegas, Nevada, USA)
- Year and Date
  2014-07-21 – 2014-07-24
- Data Source
  KAKENHI-PROJECT-26730067
[Presentation] ProVerifによるTheft DoS Attackに耐性のあるワンタイムパスワード認証方式の形式的検証
- Author(s)
  岩本智裕, 荒井研一, 金子敏信
- Organizer
  The 32nd Symposium on Cryptography and Information Security (SCIS2015)
- Place of Presentation
  リーガロイヤルホテル小倉（北九州市）
- Year and Date
  2015-01-20 – 2015-01-23
- Data Source
  KAKENHI-PROJECT-26730067

1. OKAZAKI Hiroyuki (50432167)

# of Collaborated Projects: 3 results

# of Collaborated Products: 16 results
2. FUTA Yuichi (50706223)

# of Collaborated Projects: 3 results

# of Collaborated Products: 11 results
3. Kobayashi Toru (90637399)

# of Collaborated Projects: 3 results

# of Collaborated Products: 24 results
4. SHIDAMA Yasunari (20226129)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
5. 今井哲郎 (10436173)

# of Collaborated Projects: 2 results

# of Collaborated Products: 20 results
6. WASAKI Katsumi (70271492)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. KPAULINE Naomi (40283238)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. YAMAZAKI Hiroshi (00293522)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 征矢野清 (80260735)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 高橋秀幸 (40509072)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 宮島洋文 (60781995)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 服部充 (80710095)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 深江一輝 (80912120)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 中村典生 (70285758)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
15. KAWAMOTO Pauline・Naomi

# of Collaborated Projects: 0 results

# of Collaborated Products: 3 results

ARAI Kenichi 荒井 研一

Research Projects

Research Products

Co-Researchers

Study on Formal Security Verification of Blockchain-related Technologies

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Security Evaluation of One-Time Password Authentication Using ProVerifPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Meta AI Architectureにより完全自動養殖を可能とするAqua Colony Platformの研究

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

小学校英語教育における児童に最適化されたAIアバターの開発と現場への導入

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Nature Resilient Network-type Fish Cage Robots Adaptable to Environmental Changes

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

On-demand barrier-free street view systemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Developing Automated formal Verification System for Cryptology

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computer-based Evaluation of Cryptographic Protocol SecurityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Content Development for Distance Education in Advanced University Mathematics Using Mizar

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Fish School Behaviour Classification for Optimal Feeding Using Dense Optical Flow2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Development of Observation Device with Multi-Sensor Platform for Underwater Aquaculture Cages2022

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] 自律型アオコ除去システム2020

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 製造現場の作業分析結果を利用したカメラと深層学習による作業手順のリアルタイム監視システム2020

Author(s)

Journal Title

NAID

ARAI Kenichi 荒井研一