論文の概要: Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
- arxiv url: http://arxiv.org/abs/2608.25122v1
- Date: Tue, 25 Aug 2026 20:17:08 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-27 14:15:15.43074
- Title: Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
- Title（参考訳）: デジタル法医学検査とマイグレーション保証のためのストリップバイナリにおける量子後暗号アルゴリズムの静的検出
- Abstract要約: 現在、量子フロンティアブルアルゴリズムが承認された後量子アルゴリズムに置き換えられたかどうかを、コンパイルされたバイナリコードから検証する方法はない。
本稿では,ストリップされたバイナリコードにおいて,ML-KEMとML-DSAの標準化された格子ベースのスキームを同定する静的解析手法であるKestrelを提案する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Currently, there is no method to verify from compiled binary code whether a quantum-vulnerable algorithm has been replaced by an approved post-quantum algorithm. Cryptographic discovery tools identify algorithms by symbols, library dependencies, and runtime behaviour; however, all these signals are destroyed by stripping, statically linking, and optimising a binary. This paper presents Kestrel, a static analysis method for identifying the standardised lattice-based schemes ML-KEM and ML-DSA in stripped binary code. Kestrel identifies ML-KEM and ML-DSA by detecting the number-theoretic transform constant tables that form the read-only data upon which the arithmetic depends. The fingerprints Kestrel derives from public scheme parameters are localised by means of a normalisation-and-multiset-matching procedure; the false-positive probability is established analytically. In experiments on four independent implementation lineages and all build transformations, including compiler-level obfuscation, Kestrel achieved recall of 128 of 128 with zero false positives. Applying Kestrel to 6,224 binaries on a production Linux system disclosed twelve uncatalogued programs containing ML-KEM; these included the OpenSSH key-exchange program and the container-management stack. In several of these programs, post-quantum code entered production through the language runtime without the awareness of the projects distributing them. Kestrel distinguishes genuine post-quantum implementations from advertised claims not backed by the underlying code, attributes each detection to its originating codebase, and, in a forensic disk-image trial, recovered a detection from unallocated space after the deleted binary could no longer be reconstructed. Thus, Kestrel provides a practical basis for cryptographic migration assurance, software supply-chain inspection, and post-quantum forensic examination.
- Abstract（参考訳）: 現在、量子フロンティアブルアルゴリズムが承認された後量子アルゴリズムに置き換えられたかどうかを、コンパイルされたバイナリコードから検証する方法はない。
暗号検出ツールは、シンボル、ライブラリ依存、実行時の振る舞いによってアルゴリズムを識別するが、これらすべての信号は、ストリップ、静的リンク、バイナリの最適化によって破壊される。
本稿では,ストリップされたバイナリコードにおいて,ML-KEMとML-DSAの標準化された格子ベースのスキームを同定する静的解析手法であるKestrelを提案する。
ケストレルは、算術が依存する読み取り専用データを形成する数理論変換定数テーブルを検出することにより、ML-KEMとML-DSAを識別する。
公開スキームパラメータから導出される指紋は、正規化・マルチセットマッチング手順により位置決めされ、分析的に偽陽性確率が確立される。
4つの独立した実装系統と、コンパイラレベルの難読化を含むすべてのビルド変換の実験において、ケストレルは偽陽性ゼロで128のうち128をリコールした。
Kestrelを6,224のバイナリに本番Linuxシステムに適用すると、ML-KEMを含む12の非対応プログラムが明らかにされた。
これらのプログラムのいくつかでは、クォンタム後のコードが言語ランタイムを通じて本番環境に入ったが、これらを配布するプロジェクトの意識は無かった。
ケストレルは、実際の量子後実装と、基盤となるコードに裏付けられていない広告されたクレームとを区別し、それぞれの検出を元のコードベースに属性付けし、法医学的なディスクイメージトライアルにおいて、削除されたバイナリが再構築されなくなった後、未配置のスペースから検出を回収した。
したがって、ケストレルは暗号マイグレーション保証、ソフトウェアサプライチェーン検査、クォータム後の法医学検査の実践的な基盤を提供する。
関連論文リスト
- Behavior Specification-Guided Program Synthesis for Binary Deobfuscation [16.829765747882494]
難読化は、難読化コードの可読性と分析可能性を回復するため、エンジニアリングとセキュリティ分析を逆転させるために重要である。
既存のバイナリの難読化法は通常、バイナリを擬似コードに分解し、構造変換を適用する。
BinMirrorは、振る舞い特定誘導型プログラム合成タスクとしてバイナリの難読化を再構築するアプローチである。
論文 参考訳（メタデータ） (2026-08-21T00:02:56Z) - BioZKFHE: Scalable Encrypted Biometric Identification via Verifiable Homomorphic Similarity Evaluation [20.524348401618735]
BioZKFHEは、検証可能な同型類似性評価によるスケーラブルな暗号化生体認証のためのフレームワークである。
BGV準同型計算と委員会による証明/復号化とオープンな証明バッチのスマートコントラクト検証を組み合わせる。
FaceNetとMobileFaceNetの実験では、ほぼ無数のバイオメトリックなユーティリティ、最大67%の暗号化ストレージの削減、22～44秒のエンドツーエンドの証明検証ランタイムが示されている。
論文 参考訳（メタデータ） (2026-07-24T08:08:54Z) - Bayesian-Calibrated Detection of Hallucinated Package Imports in AI-Assisted Code [0.0]
キャリブレーションされたレイヤは、PyPIメタデータ信号を悪用して、バイナリレジストリ検出器が見逃す、登録済みだが目立たしいパッケージをサーフェスする。
我々は,1,734個のPythonスニペットを結合したコーパスの校正について検討した。
論文 参考訳（メタデータ） (2026-06-11T21:15:39Z) - From Attack Simulation to SIEM Rule: Deterministic Detection-as-Code Synthesis with Probe-Level Traceability [51.56484100374058]
セキュリティチームは、自身のシステムに対する攻撃をシミュレートして、監視が真の侵入者を捕まえるかどうかをチェックする。
人間はそのギャップを手でブリッジし、それぞれの発見を読み、対応するシグマルールを書きます。
ロックされたコーパスからプローブが引き出されると,この変換が部分的に自動化されることを示す。
論文 参考訳（メタデータ） (2026-06-03T14:26:25Z) - From I/O to Code with Discovery Agent [103.88427301265669]
IO2Codeの発見エージェントであるDIO-Agentを提案する。
本手法は,プログラム空間上の進化的探索としてIO2Codeをフレーム化する。
大規模な実験により、DIO-Agentは従来のプログラムバイサンプル法とSOTA進化エージェントベースラインの両方を一貫して上回っていることが示された。
論文 参考訳（メタデータ） (2026-05-14T18:57:32Z) - VectorSmuggle: Steganographic Exfiltration in Embedding Stores and a Cryptographic Provenance Defense [0.0]
現代の検索拡張生成システム(RAG)は、センシティブなコンテンツを高次元の埋め込みに変換し、それらをベクトルデータベースに格納し、結果の数値的アーティファクトを不透明なものとして扱う。
これはステガノグラフィー・エクスプロイト・アタックのクラスを開放することを示している。
入力パイプラインへの書き込みアクセスを持つアタッカーは、埋め込み内にペイロードデータを隠蔽することができる。
論文 参考訳（メタデータ） (2026-05-13T16:44:20Z) - Quantum-Safe Code Auditing: LLM-Assisted Static Analysis and Quantum-Aware Risk Scoring for Post-Quantum Cryptography Migration [0.0]
量子セーフコード(Quantum-Safe Code)は、量子を意識した静的解析フレームワークである。
量子加重プリミティブの15のクラスと変分ブーンシゾルダー(VQE)モデルを使用している。
602のラベル付きインスタンスのサンプルでは、71.98%の精度、100%のリコール、そしてF1スコア83.71%を達成した。
論文 参考訳（メタデータ） (2026-04-01T07:10:17Z) - Empirical Study of Code Large Language Models for Binary Security Patch Detection [12.110226735365643]
セキュリティパッチ検出(SPD)はソフトウェアセキュリティの維持に不可欠である。
近年、多くの学習ベースのSPDアプローチがソースコードに有望な結果を示してきた。
しかし、これらのアプローチは、現実世界のソフトウェアの大部分を構成するクローズドソースアプリケーションやプロプライエタリシステムには適用できない。
論文 参考訳（メタデータ） (2025-09-07T13:31:43Z) - Post-Quantum Cryptography: An Analysis of Code-Based and Lattice-Based Cryptosystems [55.49917140500002]
量子コンピュータはShorのアルゴリズムを使って最新の暗号システムを破ることができる。
我々はまず、量子攻撃に対して安全とされるコードベースのスキームであるMcEliece暗号システムについて検討する。
次に,最短ベクトル問題を解くことの難しさを基礎とした格子型システムNTRUについて検討する。
論文 参考訳（メタデータ） (2025-05-06T03:42:38Z) - Cryptanalysis via Machine Learning Based Information Theoretic Metrics [58.96805474751668]
本稿では,機械学習アルゴリズムの新たな2つの応用法を提案する。
これらのアルゴリズムは、監査設定で容易に適用でき、暗号システムの堅牢性を評価することができる。
本稿では,DES,RSA,AES ECBなど,IND-CPAの安全でない暗号化スキームを高精度に識別する。
論文 参考訳（メタデータ） (2025-01-25T04:53:36Z) - Cloning Games, Black Holes and Cryptography [50.022147589030304]
クローンゲーム解析のための新しいツールキットを提案する。
このフレームワークにより、バイナリフェーズ状態に基づいて新しいクローンゲームを分析することができる。
連成位相の変分最適境界は、ブラックホールの理想化されたモデルで衝突する情報について定量的な洞察を与えることを示す。
論文 参考訳（メタデータ） (2024-11-07T14:09:32Z) - FoC: Figure out the Cryptographic Functions in Stripped Binaries with LLMs [51.898805184427545]
削除されたバイナリの暗号関数を抽出するFoCと呼ばれる新しいフレームワークを提案する。
まず、自然言語における暗号関数のセマンティクスを要約するために、バイナリ大言語モデル(FoC-BinLLM)を構築した。
次に、FoC-BinLLM上にバイナリコード類似モデル(FoC-Sim)を構築し、変更に敏感な表現を作成し、データベース内の未知の暗号関数の類似実装を検索する。
論文 参考訳（メタデータ） (2024-03-27T09:45:33Z) - Quantum Algorithms for State Preparation and Data Classification based
on Stabilizer Codes [0.0]
本稿では,古典データの分類のための量子回路モデルを提案する。
量子ニューラルネットワーク(QNN)層は、多くの安定化器からなる安定化器コードによって実現される。
量子コンピュータのほとんどのアプリケーションにおいて、データ分類を含む最初の課題も検討する。
論文 参考訳（メタデータ） (2023-09-18T19:02:54Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。