論文 - 掛井 将平
-
Webシステムの開発者と運用者が協働するログベースの連合学習フレームワーク
巻砂 湧也, 掛井 将平, 徳田 祥太, 齋藤 彰一
2024年暗号と情報セキュリティシンポジウム（SCIS2024）予稿集 1 - 8 2024年01月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Microsoft Defender for Endpointを用いたOS更新状況可視化システムの構築
掛井将平, 守屋賢知, 齋藤彰一, 松尾啓志
大学ICT推進協議会2023年度年次大会予稿集 1 - 8 2023年12月
担当区分：筆頭著者, 責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
非中央集権型データ連携の機密性向上のためのTEEと分散台帳技術を活用したデータ利用制御の提案
徳田 祥太, 掛井 将平, 白石 善明, 齋藤 彰一 (名古屋工業大学)
コンピュータセキュリティシンポジウム2023論文集 2023年10月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
組み込み用ファームウェアのコンコリック実行におけるパス探索戦略切り替えの有効性調査
松浦 央人, 掛井 将平, 齋藤 彰一
コンピュータセキュリティシンポジウム2023論文集 2023年10月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
CGIバイナリ向けシンボリック実行を用いたIoTファームウェアエミュレータの提案と基礎調査
川西 晶大, 掛井 将平, 齋藤 彰一
コンピュータセキュリティシンポジウム2023論文集 2023年10月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Androidアプリ向けSDKのガイダンスと実動作間の不一致の半自動検知
稲吉 弘樹, 掛井 将平, 齋藤 彰一
コンピュータセキュリティシンポジウム2023論文集 2023年10月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
ブロックチェーンを用いたクラウドストレージのプライベートな完全性検証方式
嘉戸 裕一, 廣友 雅徳, 瀧田 愼, 掛井 将平, 白石 善明, 毛利 公美, 森井 昌克
コンピュータセキュリティシンポジウム2023論文集 2023年10月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Distributed Public Key Certificate-Issuing Infrastructure for Consortium Certificate Authority Using Distributed Ledger Technology 査読あり 国際誌
Keita Kumagai, Shohei Kakei, Yoshiaki Shiraishi, Shoichi Saito
Security and Communication Networks 2023 ( 9559439 ) 1 - 20 2023年06月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Design of Enclosing Signing Keys by All Issuers in Distributed Public Key Certificate-Issuing Infrastructure 査読あり 国際誌
Shohei Kakei, Hiroaki Seko, Yoshiaki Shiraishi, Shoichi Saito
IEICE TRANSACTIONS on Information and Systems E106.D ( 9 ) 1495 - 1498 2023年05月
担当区分：筆頭著者, 責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
検証可能なデータ利用ポリシーに基づくIntel SGXを用いた非中央集権型データ連携システムの提案
徳田 祥太, 掛井 将平, 齋藤 彰一
研究報告コンピュータセキュリティ（CSEC） 2023-CSEC-101 ( 17 ) 1 - 8 2023年05月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Blockchain-based cross-domain authorization system for user-centric resource sharing 査読あり
Yuki Ezawa, Shohei Kakei, Yoshiaki Shiraishi, Masami Mohri, Masakatu Morii
Blockchain: Research and Applications 2023年01月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
データ所有証明を適用したEthereumを用いる非同期なデータ交換の実装手法の検討
東 知哉, 白石 善明, 掛井 将平, 廣友 雅徳, 毛利 公美, 森井 昌克
2023年暗号と情報セキュリティシンポジウム予稿集 2023年01月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Execution Recording and Reconstruction for Detecting Information Flows in Android Apps 査読あり 国際誌
Inayoshi, Hiroki and Kakei, Shohei and Saito, Shoichi
IEEE Access 11 10730 - 10750 2023年01月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
旧バージョンAndroidの利用におけるハードウェアIDの収集に関する調査
稲吉 弘樹, 掛井 将平, 齋藤 彰一
コンピュータセキュリティシンポジウム2022 論文集 2022年10月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Plug and Analyze: Usable Dynamic Taint Tracker for Android Apps 査読あり 国際誌
Hiroki Inayoshi, Shohei Kakei, Shoichi Saito
22nd IEEE International Working Conference on Source Code Analysis and Manipulation 2022年10月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Granting Access Privileges using OpenID Connect in Permissioned Distributed Ledgers 査読あり 国際誌
Shohei Kakei, Yoshiaki Shiraishi, Shoichi Saito
International Conference on Security and Privacy in Communication Networks 2022年10月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
IoT機器のWebアプリケーションを模したハニーポットの自動生成フレームワーク 査読あり
山本 萌花, 掛井 将平, 齋藤 彰一
情報処理学会論文誌 63 ( 9 ) 1499 - 1511 2022年09月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Value-utilized taint propagation: toward precise detection of apps’ information flows across Android API calls 査読あり 国際誌
Hiroki Inayoshi, Shohei Kakei, Eiji Takimoto, Koichi Mouri, Shoichi Saito
International Journal of Information Security 21 ( 5 ) 1127 - 1149 2022年08月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Androidアプリケーションの例外処理によるリークの制約の演算
大西 導徳, 稲吉 弘樹, 掛井 将平, 齋藤 彰一
研究報告コンピュータセキュリティ（CSEC） 2022-CSEC-98 ( 13 ) 1 - 8 2022年07月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
NFT流通プロセスにおける不正検知のための監査システム
東知哉，白石善明，今村光良，掛井将平，廣友雅徳，森井昌克
2022年暗号と情報セキュリティシンポジウム（SCIS2022） 2022年01月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
Non Fungible Token（NFT）の取引において，ユーザの保護という観点からは取引所が手続きにしたがってトランザクションを実行していることを第三者が確認できることが望ましい．本論文では，信頼できる第三者である監査機関を導入し，アーティストから受け付けたトークンが監査機関により手続通りに処理していることを確認できるブロックチェーンと双線形写像を用いた監査システムを提案している．提案システムをEthereumで実装し，安全性について議論している．
