荒井研一 ARAI Kenichi

研究者番号	60645290
その他のID
所属 (現在)	2025年度: 長崎大学, 総合生産科学研究科(情報データ科学系), 准教授
所属 (過去の研究課題情報に基づく) *注記	2025年度: 長崎大学, 総合生産科学研究科(情報データ科学系), 准教授 2020年度 – 2024年度: 長崎大学, 情報データ科学部, 准教授 2015年度 – 2020年度: 長崎大学, 工学研究科, 助教 2013年度 – 2014年度: 東京理科大学, 理工学部, 助教
審査区分/研究分野	研究代表者小区分60070:情報セキュリティ関連 / 小区分60060:情報ネットワーク関連 / 情報セキュリティ研究代表者以外小区分60070:情報セキュリティ関連 / 小区分02100:外国語教育関連 / 中区分62:応用情報学およびその関連分野 / 小区分62020:ウェブ情報学およびサービス情報学関連 / 情報セキュリティ / 教育工学
キーワード	研究代表者 ProVerif / 自動検証 / 安全性 / 形式手法 / ワンタイムパスワード認証方式 / ストリートビュー / バリアフリー / 全天球カメラ / スマートフォン / センサ情報 … もっと見る / パノラマ動画 / 車椅子 / 動画版システム / WIDER FACE / 静止画・動画版システム / パノラマ写真・動画 / IoT / YOLO / パノラマ写真（動画） / モザイク処理 / センサ情報の取得 / 車椅子利用者向けシステム / バリアフリーストリートビュー / CryptoVerif / Mizar / 自動証明 / フォーマルメソッド / 暗号プロトコル … もっと見る研究代表者以外 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ラーニング隠す

ブロックチェーン関連技術の形式的安全性検証に関する研究
- 研究代表者
  
  岡崎裕之
- 研究期間 (年度)
  2025 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60070:情報セキュリティ関連
- 研究機関
  信州大学
ProVerifを用いたワンタイムパスワード認証方式の安全性評価研究代表者
- 研究代表者
  
  荒井研一
- 研究期間 (年度)
  2025 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60070:情報セキュリティ関連
- 研究機関
  長崎大学
Meta AI Architectureにより完全自動養殖を可能とするAqua Colony Platformの研究
- 研究代表者
  
  小林透
- 研究期間 (年度)
  2024 – 2028
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分62:応用情報学およびその関連分野
- 研究機関
  駒澤大学
   長崎大学
小学校英語教育における児童に最適化されたAIアバターの開発と現場への導入
- 研究代表者
  
  中村典生
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分02100:外国語教育関連
- 研究機関
  長崎大学
環境変化に順応するネイチャー・レジリエント・ネットワーク型生け簀ロボットの研究
- 研究代表者
  
  小林透
- 研究期間 (年度)
  2021 – 2023
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分62020:ウェブ情報学およびサービス情報学関連
- 研究機関
  長崎大学
オンデマンド型バリアフリーストリートビューシステムの研究開発研究代表者
- 研究代表者
  
  荒井研一
- 研究期間 (年度)
  2018 – 2020
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60060:情報ネットワーク関連
- 研究機関
  長崎大学
形式手法による暗号の安全性証明自動検証システムの開発
- 研究代表者
  
  岡崎裕之
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報セキュリティ
- 研究機関
  信州大学
計算機を用いた暗号プロトコルの安全性に関する研究研究代表者
- 研究代表者
  
  荒井研一
- 研究期間 (年度)
  2014 – 2016
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報セキュリティ
- 研究機関
  長崎大学
   東京理科大学
ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発
- 研究代表者
  
  師玉康成
- 研究期間 (年度)
  2010 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  教育工学
- 研究機関
  信州大学

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

1. 岡崎裕之 (50432167)

共同の研究課題数: 3件

共同の研究成果数: 16件
2. 布田裕一 (50706223)

共同の研究課題数: 3件

共同の研究成果数: 11件
3. 小林透 (90637399)

共同の研究課題数: 3件

共同の研究成果数: 24件
4. 師玉康成 (20226129)

共同の研究課題数: 2件

共同の研究成果数: 3件
5. 今井哲郎 (10436173)

共同の研究課題数: 2件

共同の研究成果数: 20件
6. 和崎克己 (70271492)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. K PAULINE Naomi (40283238)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 山崎浩 (00293522)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 征矢野清 (80260735)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 高橋秀幸 (40509072)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 宮島洋文 (60781995)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 服部充 (80710095)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 深江一輝 (80912120)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 中村典生 (70285758)

共同の研究課題数: 1件

共同の研究成果数: 4件
15. KAWAMOTO Pauline・Naomi

共同の研究課題数: 0件

共同の研究成果数: 3件

荒井 研一 ARAI Kenichi

研究課題

研究成果

共同研究者

ブロックチェーン関連技術の形式的安全性検証に関する研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ProVerifを用いたワンタイムパスワード認証方式の安全性評価研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

環境変化に順応するネイチャー・レジリエント・ネットワーク型生け簀ロボットの研究

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

オンデマンド型バリアフリーストリートビューシステムの研究開発研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

形式手法による暗号の安全性証明自動検証システムの開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

計算機を用いた暗号プロトコルの安全性に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Fish School Behaviour Classification for Optimal Feeding Using Dense Optical Flow2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] 水中養殖生け簀のためのマルチセンサプラットホームを有する観測装置の研究2022

著者名/発表者名

雑誌名

DOI

ISSN

年月日

言語

データソース

[雑誌論文] 自律型アオコ除去システム2020

著者名/発表者名

雑誌名

NAID

データソース

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

著者名/発表者名

雑誌名

NAID

荒井研一 ARAI Kenichi