主な研究テーマ

大阪大学 大学院情報科学研究科と共同で、次のような研究テーマに取り組んでいます。

• スマートグリッドにおける認証、課金、プライバシ保護技術
• モバイル端末における、覗き見耐性のある個人認証技術
• セキュアルーティング技術
• Webセキュリティ技術
• マルウェア対策技術

---

卒業研究（情報工学科）、特別研究（専攻科）

情報工学科5年の卒業研究や専攻科の特別研究では、これまでに次の研究テーマに取り組んできました。

• IPv6におけるNDP悪用攻撃への対策
• NFTのメタデータに関する脆弱性への対策
• 無線LANに対するDoS攻撃への対策
• Hidden QRコードを用いた攻撃への対策
• プログラミング言語の学習手法
• XDPを用いたロードバランサ
• CCC(Circle Chameleon Cursor)方式の改善
• SNSに投稿された有害情報の抽出手法
• 無線LANにおける利用者のプライバシ保護
• 不正な無線LANアクセスポイントへの対策
• 仮想マシンを用いた難読化に対する解析手法
• ドライブバイダウンロード攻撃の検知手法
• QRコードの誤り訂正能力の向上
• サイバーパトロールにおける通報の自動化
• 複数の類似ドメイン名からの目的ドメイン名選択支援
• On-the-fly DFA に対するコード生成手法
• 視線情報による認証手法
• 不正操作されたQRコードへの対策
• メール本文と送信者情報による標的型メールの判別
• 主観的輪郭と色の錯視を組み合わせたCAPTCHA
• 効率的なハードウェアブレークポイント設置手法
• 電子データの安全な自動削除システム
• 効率的な秘密分散手法
• 破損QRコードの復号
• スマートフォンの端末認証に対する覗き見攻撃対策
• リズム認証のユーザビリティ評価
• 正規表現エンジン鬼雲によるStar-free表現の処理
• SNSへの投稿写真からの髪の分類手法
• 個人番号における検査用数字の性能評価と運用改善
• 検索可能暗号による秘匿データベース
• 生体認証を用いた位置証明書発行手法
• ふるまいに着目した未知の亜種ウイルスの識別の精度向上
• ID 連携技術を用いたスマートグリッドにおける電力課金情報の安全な一括管理
• 音声を用いた加算型PIN方式の認証法の改善
• 錯視CAPTCHAから主観的輪郭を生成する手法
• 使用用途を入力とした記憶に残りやすいパスワード作成システム
• 複数のサービスの評価値から情報発信者の信用度を推定する手法
• インカメラ付き携帯電話における視線入力によるパスワード入力システム
• Androidのアプリに与える権限の影響をユーザに理解させるアプリの設計
• 音響信号に対する録音抑止雑音の実時間挿入法
• 電子領収書における複数回使用禁止手法
• 4桁暗証番号を用いた打鍵認の精度改善
• 骨導音声および音声の高周波成分を用いた話者識別
• 電子透かしを用いた音楽検索システムの距離減衰耐性
• 秘匿計算を用いた電子投票システム
• GPSを用いた位置の証明手法
• 申請者と決裁者が代理決裁の可否を選択可能な電子決裁
• 秘匿計算を用いたWeb会計システム
• 同報メールの暗号化手法
• 情報セキュリティ実験環境の構築
• ID連携技術を用いたWeb決済の利便性向上
• 情報漏洩抑制方法
• Webシステムによる線形結合の秘匿計算
• 再暗号化による暗号化メール長期保存手法
• ディジタル署名を用いたWeb決裁システム

主な業績

• Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Kyosuke Yamashita, Shingo Okamura, “ Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities in Ethereum Smart Contracts ,” Distributed Ledger Technologies: Research and Practice (2024-08)
• Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura, “ JABBERWOCK: A Tool for WebAssembly Dataset Generation and Its Application to Malicious Website Detection ,” Journal of Information Processing, Vol.32, pp.298-307 (2024-03)
• 杉浦 一瑳, 岡村 真吾, 山下 恭佑, 矢内 直人, “ ミスラベルデータの忘却による学習済みモデルの汎化性能の向上手法の提案 ,” 第16回データ工学と情報マネジメントに関するフォーラム(DEIM2024), T1-A-2-01 (2024-02)
• 矢内 直人, 加道 ちひろ, 岡村 真吾, ブロックチェーンの基礎からわかるスマートコントラクトのセキュリティ入門 , 科学情報出版 (2023-08).
• Chika Komiya, Naoto Yanai, Kyosuke Yamashita, Shingo Okamura, “ JABBERWOCK: A Tool for WebAssembly Dataset Generation towards Malicious Website Detection ,” 2023 53nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp.36-39 (2023-06).
• 小宮 千佳, 矢内 直人, 山下 恭佑, 岡村 真吾, “ 悪性サイト検知のためのWebAssemblyデータセット構築ツールの設計とその精度評価 , ” 情報処理学会研究報告, Vol.2023-CSEC-101, No.29, pp.1-8 (2023-05).
• Chihiro Kado, Naoto Yanai, Jason Paul Cruz, Shingo Okamura, “ An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities ,” 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), pp.92-97 (2023-03).
• Ouyang Junjie, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Shingo Okamura, Jason Paul Cruz,
  “ APVAS: Reducing the Memory Requirement of AS_PATH Validation by Introducing Aggregate Signatures into BGPsec ,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E106.A, No.3, pp.170-184 (2023-03).
• Naoki Umeda, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Jason Paul Cruz, Shingo Okamura, “ SQUAB: A Virtualized Infrastructure for BGP-related Experiments and Its Applications to Evaluation on BGPsec ,” Journal of Information Processing, Vol.30, pp.829-840 (2022-12).
• Nami Ashizawa, Naoto Yanai, Jason Paul Cruz, Shingo Okamura, “ Eth2Vec: Learning contract-wide code representations for vulnerability detection on Ethereum smart contracts ,” Blockchain: Research and Applications, Vol.3, No.4, 100101 (2022-12).
• 手島 宏貴，山下 恭佑，矢内 直人，岡村 真吾， “ 秘密計算を用いた顔認証の構成について ,” コンピュータセキュリティシンポジウム2022(CSS2022)論文集, 2A4-II-4, pp.516-523 (2022-10).
• 加道 ちひろ，矢内 直人，Jason Paul Cruz，今村 光良，岡村 真吾， “ Ethereum Smart Contract でのコンパイラによる脆弱性への影響調査 ,” マルチメディア，分散協調とモバイルシンポジウム2022(DICOMO2022)論文集, pp.1386-1396 (2022-07).
• 太田 永遠, 岡村 真吾, “能動的なIDSにおけるNDP悪用攻撃の検知可否の考察, ” 電子情報通信学会2022年総合大会, D-19-1 (2022-03).
• 清水 嶺，矢内 直人，今村 光良，Jason Paul Cruz，岡村 真吾， “NFT流通市場に対するEditable Metadata脆弱性の一考察, ” 2022年暗号と情報セキュリティシンポジウム(SCIS2022)予稿集, 1D1-2 (2022-01).
• Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura, “ RA: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts ,” Journal of Information Processing, Vol.29, pp.537-547 (2021-09).
• 梅田 直希，矢内 直人，竹村 達也，岡田 雅之，岡村 真吾， “ BGPsecの評価に向けた実験用エミュレーションプラットフォームSQUABの改良 ,” マルチメディア，分散協調とモバイルシンポジウム2021(DICOMO2021)論文集, pp.629-636 (2021-06).
• Tatsuya Takemura, Naoto Yanai, Naoki Umeda, Masayuki Okada, Shingo Okamura, Jason Paul Cruz, “ APVAS+: A Practical Extension of BGPsec with Low Memory Requirement ,” IEEE International Conference on Communications (ICC 2021), pp.47-59 (2021-06).
• Nami Ashizawa, Naoto Yanai, Jason Paul Cruz, Shingo Okamura, “ Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts ,” Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure (BSCI 2021), pp.47-59 (2021-06).
• Naoki Umeda, Naoto Yanai, Tatsuya Takemura, Masayuki Okada, Jason Paul Cruz, Shingo Okamura, “ SQUAB: A Virtualized Infrastructure for Experiments on BGP and Its Extensions ,” The 35th International Conference on Advanced Information Networking and Applications (AINA 2021), pp.600-613 (2021-05).
• 北村 圭輝, 岡村 真吾, “HTMLタグの出現頻度を用いた悪性Webサイトの検知, ” 電子情報通信学会2021年総合大会, D-19-2 (2021-03).
• Nami Ashizawa, Naoto Yanai, Jason Paul Cruz, Shingo Okamura, “ Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts ,” IEICE Technical Report, Vol.120, No.411, ISEC2020-86, pp.273-280 (2021-03).
• 鄭 儒謙，矢内 直人，岡村 真吾， “ネットワークセキュリティに向けた悪性ドメイン検知用データセットの構築, ” 2021年暗号と情報セキュリティシンポジウム(SCIS2021)予稿集, 2C3-1 (2021-01).
• Yuichiro Chinen, Naoto Yanai, Jason Paul Cruz, Shingo Okamura, “ RA: Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis ,” The 3rd IEEE International Conference on Blockchain (Blockchain 2020), pp.327-336 (2020-11).
• 芦澤 奈実，矢内 直人，クルーズ ジェイソン ポール，岡村 真吾， “ Eth2Vec: 深層学習による言語処理に基づいたスマートコントラクトの安全性解析ツールの設計 ,” コンピュータセキュリティシンポジウム2020(CSS2020)論文集, 2B4-3, pp.494-501 (2020-10).
• 森田 悟大，岡村 真吾， “ バイナリの類似性を利用した命令列の差分検出 ,” コンピュータセキュリティシンポジウム2020(CSS2020)論文集, 2C3-2, pp.596-601 (2020-10).
• 竹村 達也，矢内 直人，梅田 直希，岡田 雅之，岡村 真吾， “ APVAS+: 集約署名を用いたASパス検証プロトコルの改良とフルルート情報を想定した実験評価 ,” コンピュータセキュリティシンポジウム2020(CSS2020)論文集, 1C3-4, pp.167-174 (2020-10).
• 梅田 直希，矢内 直人，竹村 達也，岡田 雅之，岡村 真吾， “ BGPsecの展開可能性に向けたBGPとの同時運用の検討 ,” コンピュータセキュリティシンポジウム2020(CSS2020)論文集, 1C3-2, pp.152-158 (2020-10).
• 黒田 晃平, 岡村 真吾, “ 複数の類似ドメイン名からの目的ドメイン名選択支援 , ” 情報処理学会第82回全国大会，4ZA-03, pp.467-468 (2020-03).
• 中谷 彦太, 岡村 真吾, “ On-the-fly DFAに対するコード生成手法 , ” 情報処理学会第82回全国大会，4K-02, pp.175-176 (2020-03).
• Masahiro Kamimura, Naoto Yanai, Shingo Okamura, Jason Paul Cruz, “ Key-Aggregate Searchable Encryption, Revisited: Formal Foundations for Cloud Applications, and Their Implementation ,” IEEE Access, Vol.8, pp.24153-24169 (2020-01).
• 王 晶栄，矢内 直人，大久保 隆夫，岡村 真吾， “ sslstrip攻撃の脅威に関する検討 ，” コンピュータセキュリティシンポジウム2019(CSS2019)論文集, 4C2-4, pp.1398-1405 (2019-10).
• 上村 真弘，矢内 直人，岡村 真吾，ジェイソン ポール クルーズ， “ 証明可能安全な鍵集約検索可能暗号の構成と実装評価 ，” コンピュータセキュリティシンポジウム2019(CSS2019)論文集, 3D2-1, pp.1195-1202 (2019-10).
• 知念 祐一郎，矢内 直人，ジェイソン ポール クルーズ，岡村 真吾， “ RA: スマートコントラクトの安全性解析にむけたシンボリック実行ツール ，” コンピュータセキュリティシンポジウム2019(CSS2019)論文集, 2C2-3, pp.569-576 (2019-10).
• Hayato Shimamoto, Naoto Yanai, Shingo Okamura, Jason Paul Cruz, Shouei Ou, Takao Okubo, “ Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache ,” IEEE Access, Vol.7, pp.74941-74960 (2019-06).
• Junjie Ouyang，矢内 直人，岡田 雅之，岡村 真吾， “ アグリゲート署名を用いたBGPsec AS_PATH検証手法の提案と実装評価 , ” コンピュータセキュリティシンポジウム2018(CSS2018)論文集, 2B2-4, pp.333-340 (2018-10).
• Hikaru Kishimoto, Naoto Yanai, Shingo Okamura, “ An Anonymous Authentication Protocol for the Smart Grid ,” in A. V. D. M. Kayem et al. (eds.), Smart Micro-Grid Systems Security and Privacy, Advances in Information Security 71, Springer (2018-09).
• 長嶺 優大，矢内 直人，岡村 真吾，藤原 融, “ ステガノグラフィー技術を用いたマルウェアの解析耐性強化と検討 , ” コンピュータセキュリティシンポジウム2017(CSS2017)論文集, 2A3-2, pp.622-628 (2017-10).
• Hikaru Kishimoto, Naoto Yanai, Shingo Okamura, “ SPaCIS: Secure Payment Protocol for Charging Information over Smart Grid ,” Journal of Information Processing, Vol.25, No.1 (2017-01).
• Ryo Fukuyama, Naoto Yanai, Shingo Okamura, Toru Fujiwara, “ Towards a Formal Foundation of Protection against Data-Oriented Attacks ,” 2016 International Symposium on Information Theory and Its Applications (ISITA2016) (2016-11).
• Hayato Shimamoto, Naoto Yanai, Shingo Okamura, Toru Fujiwara, “ Web Security Model with Cache ,” 2016 International Symposium on Information Theory and Its Applications (ISITA2016) (2016-11).
• 岸本 光，矢内 直人，岡村 真吾, “ スマートグリッドにおけるグループ署名を用いた利用者認証プロトコル , ” コンピュータセキュリティシンポジウム2016(CSS2016)論文集, 3C1-3, pp.850-857 (2016-10).
• 村中 謙太，矢内 直人，岡村 真吾，藤原 融, “ ISDSR : IDベースシーケンシャルアグリゲート署名のDynamic Source Routingへの適用 ,” コンピュータセキュリティシンポジウム2016(CSS2016)論文集, 2D3-3, pp.594-601 (2016-10).
• Yudai Nagamine, Naoto Yanai, Shingo Okamura, Toru Fujiwara, “Malware forProtocol Misidentification,” Poster session of the 11th International Workshop on Security (IWSEC2016) (2016-09).
• Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara, “ ISDSR: Secure DSR with ID-based Sequential Aggregate Signature ,” Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016) - Volume 4: SECRYPT, pp.376-387 (2016-07).
• 井上 晴也, 岡村 真吾, “生体認証を用いた位置証明書発行手法, ” 電子情報通信学会2016年総合大会, A-7-2 (2016-03).
• 村中 謙太，矢内 直人，岡村 真吾，藤原 融, “多人数署名を用いたSecure-DSRの提案, ” 2016年暗号と情報セキュリティシンポジウム(SCIS2016)予稿集, 2E2-1 (2016-01).
• Yuma Higashiyama, Naoto Yanai, Shingo Okamura, Toru Fujiwara, “ Revisiting Authentication with Shoulder-Surfing Resistance for Smartphones ,” Proceedings of the Third International Symposium on Computing and Networking (CANDAR’15), pp.89-95 (2015-12).
• Hikaru Kishimoto, Shingo Okamura, Naoto Yanai, “Secure Payment Protocol for Charging Information over SmartGrid,” Poster session of the 10th International Workshop on Security (IWSEC2015) (2015-08).
• Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara, “Toward Secure Routing Protocols for Sensor Networks,” Poster session of the 10th International Workshop on Security (IWSEC2015) (2015-08).
• Kenta Muranaka, Naoto Yanai, Shingo Okamura, Toru Fujiwara, “ Secure Routing Protocols for Sensor Networks: Construction with Signature Schemes for Multiple Signers ,” Proceedings of the 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom 2015), pp.1329-1336 (2015-08).
• 岡村 真吾，“パーソナルデータの利活用と保護の動向，” e-AAC ワークショップ ｢第４回情報セキュリティ講座｣ (2015-06).
• 岸本 光, 岡村 真吾, “ ID連携技術を用いたスマートグリッドにおける課金情報一括管理プロトコルの試作 , ” 情報処理学会第77回全国大会，6W-7 (2015-03).
• 村中 謙太，矢内 直人，岡村 真吾，藤原 融, “ 多人数署名の実装と評価 , ” 電子情報通信学会技術研究報告, Vol.114, No.489, ICSS2014-78, pp.91-96 (2015-03).
• 東山 侑真, 岡村 真吾, 矢内 直人, 藤原 融, “ タッチパネル端末の特性を利用した覗き見攻撃耐性をもつ個人認証手法 , ” コンピュータセキュリティシンポジウム2014論文集 (2014-10).
• Hikaru Kishimoto, Shingo Okamura “ Secure Consolidation of Charging Information Over Smart Grid Using ID Federation ,” 2014 International Symposium on Information Theory and Its Applications (ISITA2014), pp.226-230 (2014-10).
• 岸本 光, 岡村 真吾, “ID連携技術を用いたスマートメーターによる電力課金情報の一括管理, ” 2014年暗号と情報セキュリティシンポジウム(SCIS2014)予稿集, 4B1-2 (2014-01).
• 小林 靖幸, 岡村 真吾, “ 携帯電話におけるインカメラを用いたパスワード入力方法の提案 , ” 情報処理学会第75回全国大会，5Z-2 (2013-03).
• 松村 太一, 岡村 真吾, “ 秘匿計算を用いたWeb会計システム , ” 情報処理学会第73回全国大会，4Y-2 (2011-03).
• 永原 裕之, 岡村 真吾, “ 申請者と決裁者が代理決裁の可否を選択可能な電子決裁の提案 , ” 情報処理学会第73回全国大会，1Y-8 (2011-03).
• 猪俣 敦夫, 松浦 知史, 門林 雄基, 藤川 和利, 歌代 和正, 山口 英, 砂原 秀樹, 東野 輝夫, 中野 博隆, 岡村 真吾, 浜辺 崇, 岡部 寿男, 上原 哲太郎, 大平 健司, 篠田 陽一, 宮地 充子, 面 和成, “IT Keys:IT リスク軽減のための情報セキュリティ技術者・管理者育成, ” コンピュータセキュリティシンポジウム2010論文集 (2010-10).
• 山中 広明, 岡村 真吾, 藤原 融, 吉田 真紀, 石原 靖哲, 秋山 豊和, 加藤 精一, 下條 真司, “ 評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上 ,” 情報処理学会論文誌, Vol.51, No.8, pp.1428-1442 (2010-08).
• Hiroaki Yamanaka, Shingo Okamura, Toru Fujiwara, “ A Metric of Search Efficiency and Prevention of Polluted Contents for Unstructured Overlay ,” Proceedings of 2010 International Symposium on Applications and the Internet Workshops (SAINT2010) (2010-07).
• 山中 広明, 岡村 真吾, 藤原 融, “ 検索効率と汚染コンテンツ抑制の非構造化オーバレイに対する評価指標の検討 , ” 情報処理学会研究報告, Vol.2010-DPS-142/2010-CSEC-48, No.12, pp.1-7 (2010-03).
• 大野 遼平, 岡村 真吾, 藤原 融, “Shibboleth IdPにおけるユーザ主導の属性解放ポリシ管理手法, ” 2010年暗号と情報セキュリティシンポジウム予稿集, 3E1-4 (2010-01).