Updated on 2024/12/16

写真a

 
Inayoshi Hiroki
 
Organization
Faculty of Environmental, Life, Natural Science and Technology Assistant Professor
Position
Assistant Professor
External link

Degree

  • Doctor of Engineering ( 2024.3   Nagoya Institute of Technology )

Research Interests

  • Software Engineering

  • Information Security

Research Areas

  • Informatics / Software

  • Informatics / Information security

Education

  • Nagoya Institute of Technology   大学院工学研究科   情報工学専攻

    2021.4 - 2024.3

    　 More details

Research History

  • Okayama University   学術研究院環境生命自然科学学域   Assistant Professor

    2024.4

    　 More details

 

Papers

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

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

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

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

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

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

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

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

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

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

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

    International Journal of Software Innovation   12 ( 1 )   1 - 18   2024.10

    　More details

    Language：English   Publishing type：Research paper (scientific journal)   Publisher：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

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

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

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

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

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

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

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

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

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

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

  • Comparison of Similarity Functions for n-gram Software Birthmarks Reviewed

    Nikolay Fedorov, Hiroki Inayoshi, Haruaki Tamada, Akito Monden

    The 6th World Symposium on Software Engineering (WSSE 2024)   2024.9

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    researchmap

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

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

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

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

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

    22nd IEEE/ACIS International Conference on Software Engineering, Management and Applications 2024   2024.5

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    researchmap

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

    Hiroki Inayoshi, Shohei Kakei, Shoichi Saito

    11th International Conference on Mobile Software Engineering and Systems 2024   2024.4

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (international conference proceedings)  

    researchmap

  • Semi-automatic Detection of Inconsistencies between Guidance and Actual Behavior of Third-party SDKs in Android Apps

    849 - 856   2023.10

    　More details

    Authorship：Lead author   Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

    Hiroki Inayoshi, Shohei Kakei, Shoichi Saito

    IEEE Access   11   10730 - 10750   2023.1

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (scientific journal)   Publisher：Institute of Electrical and Electronics Engineers (IEEE)  

    DOI： 10.1109/access.2023.3240724

    researchmap

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

    Hiroki Inayoshi, Shohei Kakei, Shoichi Saito

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

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

    DOI： 10.1109/scam55253.2022.00008

    researchmap

  • Study on Collecting Hardware Identifiers in Using Earlier Android Versions

    532 - 539   2022.10

    　More details

    Authorship：Lead author   Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

  • Value-utilized taint propagation: toward precise detection of apps’ information flows across Android API calls Reviewed

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

    International Journal of Information Security   21 ( 5 )   1127 - 1149   2022.8

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (scientific journal)   Publisher：Springer Science and Business Media LLC  

    DOI： 10.1007/s10207-022-00603-9

    researchmap

    Other Link： https://link.springer.com/article/10.1007/s10207-022-00603-9/fulltext.html

  • Computing constraints of leakage due to exception handling in Android applications

    2022-CSEC-98 ( 13 )   2022.7

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

  • Improving the Accuracy of Constraints on Exceptions in Static Taint Analysis of Android Applications

    952 - 959   2021.10

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

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

    Proceedings of the 16th International Conference on Availability, Reliability and Security   2021.8

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：ACM  

    DOI： 10.1145/3465481.3465759

    researchmap

  • Effects of Compiler Optimization on Taint Analysis and Its Performance Enhancement

    2019   990 - 997   2019.10

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

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

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

    2019 14th Asia Joint Conference on Information Security (AsiaJCIS)   103 - 110   2019.8

    　More details

    Authorship：Lead author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：IEEE  

    DOI： 10.1109/asiajcis.2019.00005

    researchmap

▼display all

Presentations

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

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

    コンピュータセキュリティシンポ ジウム2019  2019.10.22 

    　More details

    Event date： 2019.10.21 - 2019.10.24

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

Works

Awards

  • 奨励賞

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

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

    　More details

  • 優秀論文賞

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

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

    　More details

 

Class subject in charge

  • Programming （2024academic year） 3rd and 4th semester  - 水1～2

  • Programming （2024academic year） 3rd and 4th semester  - 水1～2

  • Programming 1 （2024academic year） Third semester  - 水1～2

  • Programming 2 （2024academic year） Fourth semester  - 水1～2

  • Information Technology Experiments C (Computer Software) （2024academic year） Fourth semester  - 火3～7,金3～7

  • Information Technology Experiments C (Computer Software) （2024academic year） Fourth semester  - 火3～7,金3～7

  • Engineering English （2024academic year） Late  - その他

  • Advanced Study （2024academic year） Other  - その他

  • Technical Writing 1 （2024academic year） Prophase  - その他

  • Technical Writing 2 （2024academic year） Late  - その他

▼display all