📄 セキュリティ分野のトップ国際会議 IEEE S&P 2026 に論文が採択！
PILOT: Command-line Interface Fuzzing via Path-Guided, Iterative Large Language Model Prompting
品川研究室の白石桃子さん（日本学術振興会特別研究員PD）の論文が、2026年5月にサンフランシスコで開催される 第47回 IEEE Symposium on Security and Privacy（IEEE S&P 2026）に採択されました。
本論文では、コマンドラインインタフェース（CLI）プログラムの脆弱性を効率的に発見するための新しい fuzzing 手法 PILOT (Path-guided, Iterative LLM-Orchestrated Testing) を提案しています。CLI プログラムでは、特定のコマンドラインオプションの組み合わせや構造を持つ入力ファイルを与えないとプログラム内部の深いコードに到達できないことが多く、既存の fuzzing 手法では脆弱性を発見することが困難でした。PILOT は、大規模言語モデル（LLM）と静的解析によって得られるプログラムの呼び出し経路情報を利用して意味的に妥当なコマンドラインオプションと入力ファイルを生成し、カバレッジ情報を用いてそれらを反復的に改善することで、従来手法では到達困難だったコード領域の探索を可能にします。
評価では、43 個の実世界の CLI プログラムに対して実験を行い、51 件の未知の脆弱性（zero-day vulnerabilities）を発見しました。そのうち 41 件が開発者によって確認され、33 件が修正済みであり、さらに 3 件には CVE が割り当てられています。
本研究は、ジョンズ・ホプキンズ大学の Yinzhi Cao 准教授との国際共同研究として実施されました。Cao 准教授のグループはソフトウェアセキュリティやプログラム解析の分野で先端的な研究を行っており、本研究でも脆弱性発見技術の設計と評価において共同研究を行いました。
IEEE Symposium on Security and Privacy（IEEE S&P）はコンピュータセキュリティ分野における最も権威ある国際会議の一つであり、USENIX Security、ACM CCS、NDSS と並んで「セキュリティ分野の四大会議（Big Four）」の一つとされています。2026年の投稿サイクルでは 1070 件の投稿のうち 135 件が採択され、採択率は約 13% でした。
IEEE S&P Data
- Google Scholar Metrics: h5-index: 110 (Security & Cryptography)
- CORE Rank: A* (CORE 2026)
- IEEE Digital Library:
- Conference Website: IEEE S&P 2026