HyperAIHyperAI

Command Palette

Search for a command to run...

CryptoScope:大規模言語モデルを活用した暗号論的論理バグの自動検出

Zhihao Li Zimo Ji Tao Zheng Hao Ren Xiao Lan

概要

暗号化アルゴリズムは現代のセキュリティにおいて基盤的な役割を果たしているが、その実装には検出が困難な微細な論理的欠陥が頻繁に存在する。本研究では、大規模言語モデル(LLM)を活用した自動暗号脆弱性検出を実現する新しいフレームワーク「CryptoScope」を提案する。CryptoScopeは、12,000件以上の項目を収録した厳選された暗号学知識ベースを基盤とし、Chain-of-Thought(CoT)プロンプティングとリトリーバー増強生成(RAG)を統合することで、高精度な脆弱性検出を実現している。本研究では、実際のCVE脆弱性から主に抽出された92件のケースを対象としたベンチマーク「LLM-CLVA」を用いてCryptoScopeの性能を評価した。これに加え、主要なキャプチャ・ザ・フラッグ(CTF)大会の暗号問題および11言語にわたる合成例も併用している。評価結果から、CryptoScopeは強力なLLMベースラインに対して一貫して性能向上を示し、DeepSeek-V3では11.62%、GPT-4o-miniでは20.28%、GLM-4-Flashでは28.69%の向上を達成した。さらに、広く利用されているオープンソース暗号プロジェクトにおいて、これまで未発表だった9件の脆弱性を同定することに成功した。


AIでAIを構築

アイデアからローンチまで — 無料のAIコーディング支援、すぐに使える環境、最高のGPU価格でAI開発を加速。

AI コーディング補助
すぐに使える GPU
最適な料金体系

HyperAI Newsletters

最新情報を購読する
北京時間 毎週月曜日の午前9時 に、その週の最新情報をメールでお届けします
メール配信サービスは MailChimp によって提供されています