2024/12/16 更新

写真a

イナヨシ　ヒロキ
稲吉　弘樹
Inayoshi Hiroki
所属
環境生命自然科学学域 助教
職名
助教
外部リンク

学位

  • 博士 (工学) （ 2024年3月   名古屋工業大学 ）

研究キーワード

  • ソフトウェア工学

  • 情報セキュリティ

研究分野

  • 情報通信 / ソフトウェア

  • 情報通信 / 情報セキュリティ

学歴

  • 名古屋工業大学   Graduate School of Engineering  

    2021年4月 - 2024年3月

    　 詳細を見る

経歴

  • 岡山大学   学術研究院環境生命自然科学学域   助教

    2024年4月 - 現在

    　 詳細を見る

 

論文

  • Kotlinにおけるサイクロマティック数計測ツールの開発 査読

    清水端 康佑, 稲吉 弘樹, 門田 暁人

    第31回ソフトウェア工学の基礎ワークショップ   2024年11月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • Javaプログラムの解析による習熟度の測定に向けて 査読

    奈良井 洸希, Ratthicha Parinthip, 稲吉 弘樹, Pattara Leelaprute, 門田 暁人

    第31回ソフトウェア工学の基礎ワークショップ   2024年11月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • 第三者データを用いたソフトウェアバグ予測の確信度の推定に向けて 査読

    北内 亮太, 稲吉 弘樹, 西浦 生成, 門田 暁人

    第31回ソフトウェア工学の基礎ワークショップ   2024年11月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • Demystifying Ambiguous Words in Request for Proposals of Information Systems in Japan 査読

    Toru Nakamichi, Hiroki Inayoshi, Kinari Nishiura, Mariko Sasakura, Akito Monden

    International Journal of Software Innovation   12 ( 1 )   1 - 18   2024年10月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：IGI Global  

    <p>Disagreements in interpreting words in software requirements specifications (SRSs) can lead to project failure. Various approaches to identifying and preventing ambiguous words in SRSs have been proposed. Yet, it is unclear which ambiguous words are used in the actual SRSs and to what extent they need to be modified. This paper quantitatively analyzes existing SRSs to clarify (1) how many ambiguous words are included in SRSs and (2) how many of these words require correction. This paper targets the Request for Proposals (RFPs), which describe the initial requirements of 40 systems of local governments, libraries, universities, and hospitals in Japan. Ten ambiguous Japanese words were analyzed. The result shows that “juubun” (sufficient) appeared most frequently, and 42% required correction when this word was used. The result also indicates that the number of ambiguous words varied greatly among the RFPs and that larger RFPs did not necessarily contain more ambiguous words.</p>

    DOI： 10.4018/ijsi.358012

    researchmap

  • Android アプリが自動的に収集するデータの暗号化ラベルの実態調査

    桜庭 侑星, 稲吉 弘樹, 齋藤 彰一, 門田 暁人

    コンピュータセキュリティシンポジウム2024論文集   2024年10月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • データセーフティセクションに対応したテイントソースの自動識別に向けて

    稲吉 弘樹, 齋藤 彰一, 門田 暁人

    コンピュータセキュリティシンポジウム2024論文集   2024年10月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • AndroidアプリのNativeコードにおけるP-codeを利用したJNI呼び出しメソッドの識別

    桜井 涼太, 稲吉 弘樹, 掛井 将平, 齋藤 彰一

    コンピュータセキュリティシンポジウム2024論文集   2024年10月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • ソフトウェアバグデータを対象とした例外ルール導出の試み

    青柳 宏, 稲吉 弘樹, 門田 暁人

    ソフトウェアエンジニアリングシンポジウム2024論文集   2024   271 - 277   2024年9月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • Comparison of Similarity Functions for n-gram Software Birthmarks 査読

    Nikolay Fedorov, Hiroki Inayoshi, Haruaki Tamada, Akito Monden

    The 6th World Symposium on Software Engineering (WSSE 2024)   2024年9月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    researchmap

  • 近代以前に西洋で日本をイメージして作られた音楽作品の分析

    河瀬 友佑, 稲吉 弘樹, 門田 暁人, 光平 有希

    研究報告音楽情報科学（MUS）   2024-MUS-141 ( 13 )   2024年8月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • Porting a Python Application to the Web Using Django: A Case Study of an Archaeological Image Processing System 査読

    Hikaru Tomita, Mariko Sasakura, Kinari Nishiura, Hiroki Inayoshi, Akito Monden

    22nd IEEE/ACIS International Conference on Software Engineering, Management and Applications 2024   2024年5月

    　詳細を見る

    記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    researchmap

  • Detection of Inconsistencies between Guidance Pages and Actual Data Collection of Third-party SDKs in Android Apps 査読

    Hiroki Inayoshi, Shohei Kakei, Shoichi Saito

    11th International Conference on Mobile Software Engineering and Systems 2024   2024年4月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

    researchmap

  • Androidアプリ向けSDKのガイダンスと実動作間の不一致の半自動検知

    稲吉 弘樹, 掛井 将平, 齋藤 彰一

    コンピュータセキュリティシンポジウム2023論文集   849 - 856   2023年10月

    　詳細を見る

    担当区分：筆頭著者   記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • Execution Recording and Reconstruction for Detecting Information Flows in Android Apps 査読

    Hiroki Inayoshi, Shohei Kakei, Shoichi Saito

    IEEE Access   11   10730 - 10750   2023年1月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Institute of Electrical and Electronics Engineers (IEEE)  

    DOI： 10.1109/access.2023.3240724

    researchmap

  • Plug and Analyze: Usable Dynamic Taint Tracker for Android Apps 査読

    Hiroki Inayoshi, Shohei Kakei, Shoichi Saito

    2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)   24 - 34   2022年10月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：IEEE  

    DOI： 10.1109/scam55253.2022.00008

    researchmap

  • 旧バージョンAndroidの利用におけるハードウェアIDの収集に関する調査

    稲吉 弘樹, 掛井 将平, 齋藤 彰一

    コンピュータセキュリティシンポジウム2022論文集   532 - 539   2022年10月

    　詳細を見る

    担当区分：筆頭著者   記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • 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年8月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Springer Science and Business Media LLC  

    DOI： 10.1007/s10207-022-00603-9

    researchmap

    その他リンク： https://link.springer.com/article/10.1007/s10207-022-00603-9/fulltext.html

  • Androidアプリケーションの例外処理によるリークの制約の演算

    大西 導徳, 稲吉 弘樹, 掛井 将平, 齋藤 彰一

    研究報告コンピュータセキュリティ（CSEC）   2022-CSEC-98 ( 13 )   2022年7月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • Androidアプリケーションのテイント解析における例外処理を考慮した制約の精度の向上

    大西 導徳, 稲吉 弘樹, 掛井 将平, 齋藤 彰一

    コンピュータセキュリティシンポジウム2021論文集   952 - 959   2021年10月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • VTDroid: Value-based Tracking for Overcoming Anti-Taint-Analysis Techniques in Android Apps 査読

    Hiroki Inayoshi, Shohei Kakei, Eiji Takimoto, Koichi Mouri, Shoichi Saito

    Proceedings of the 16th International Conference on Availability, Reliability and Security   2021年8月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：ACM  

    DOI： 10.1145/3465481.3465759

    researchmap

  • コンパイラ最適化がテイント解析に与える影響と解析性能向上

    林 優香, 稲吉 弘樹, 掛井 将平, 毛利 公一, 瀧本 栄二, 齋藤 彰一

    コンピュータセキュリティシンポジウム2019論文集   2019   990 - 997   2019年10月

    　詳細を見る

    記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）  

    researchmap

  • Prevention of Data Leakage due to Implicit Information Flows in Android Applications 査読

    Hiroki Inayoshi, Shohei Kakei, Eiji Takimoto, Koichi Mouri, Shoichi Saito

    2019 14th Asia Joint Conference on Information Security (AsiaJCIS)   103 - 110   2019年8月

    　詳細を見る

    担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：IEEE  

    DOI： 10.1109/asiajcis.2019.00005

    researchmap

▼全件表示

講演・口頭発表等

  • 暗黙的フローに対応したAndroidアプリケーションの動的テイント解析システム

    稲吉弘樹, 掛井将平, 瀧本栄二, 毛利公一, 齋藤彰一

    コンピュータセキュリティシンポ ジウム2019  2019年10月22日 

    　詳細を見る

    開催年月日： 2019年10月21日 - 2019年10月24日

    記述言語：日本語   会議種別：ポスター発表  

    researchmap

Works（作品等）

受賞

  • 奨励賞

    2024年10月   一般社団法人 情報処理学会   データセーフティセクションに対応したテイントソースの自動識別に向けて

    稲吉 弘樹, 齋藤 彰一, 門田 暁人

    　詳細を見る

  • 優秀論文賞

    2023年10月   一般社団法人 情報処理学会   Androidアプリ向けSDKのガイダンスと実動作間の 不一致の半自動検知

    稲吉弘樹, 掛井将平, 齋藤彰一

    　詳細を見る

 

担当授業科目

  • プログラミング （2024年度） ３・４学期  - 水1～2

  • プログラミング （2024年度） ３・４学期  - 水1～2

  • プログラミング1 （2024年度） 第３学期  - 水1～2

  • プログラミング2 （2024年度） 第４学期  - 水1～2

  • 情報工学実験C (ソフトウェア) （2024年度） 第４学期  - 火3～7,金3～7

  • 情報工学実験Ｃ（ソフトウェア） （2024年度） 第４学期  - 火3～7,金3～7

  • 技術英語 （情報系） （2024年度） 後期  - その他

  • 特別研究 （2024年度） その他  - その他

  • 表現技法1（情報系） （2024年度） 前期  - その他

  • 表現技法2（情報系） （2024年度） 後期  - その他

▼全件表示