論文の概要: Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
- arxiv url: http://arxiv.org/abs/2608.25122v2
- Date: Sun, 30 Aug 2026 02:22:02 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-01 13:34:07.615642
- Title: Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
- Title（参考訳）: デジタル法医学検査とマイグレーション保証のためのストリップバイナリにおける量子後暗号アルゴリズムの静的検出
- Abstract要約: 本稿では,数理論変換定数テーブルからアルゴリズムを同定する静的解析手法であるケストレルについて述べる。
これは ML-KEM と ML-DSA の標準化された格子スキームに適用される。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Identifying which post-quantum algorithm a compiled binary implements is a core problem in binary analysis, and it becomes acute once the binary has been stripped, statically linked, and optimised, since the symbols, library dependencies, and runtime behaviour that conventional discovery tools rely on are then gone. This paper presents Kestrel, a static analysis method that identifies an algorithm from the number-theoretic transform constant tables its arithmetic depends on, and applies it to the standardised lattice schemes ML-KEM and ML-DSA, for which no prior method could confirm, from a shipped binary alone, that a quantum-vulnerable algorithm had been replaced by its approved successor. The fingerprints Kestrel derives from public scheme parameters are localised by a normalisation-and-multiset-matching procedure; the false-positive probability is established analytically. Across four independent implementation lineages and all build transformations, including compiler-level obfuscation, Kestrel achieved recall of 128 of 128 with zero false positives. Applied to 6,224 binaries on a production Linux system, it disclosed twelve uncatalogued programs containing ML-KEM, among them the OpenSSH key-exchange program and the container-management stack, where post-quantum code had entered production through the language runtime without the awareness of the projects distributing them. Kestrel distinguishes genuine 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. It thus provides a practical basis for cryptographic migration assurance, compliance verification, software supply-chain inspection, and post-quantum forensic examination.
- Abstract（参考訳）: バイナリが削除され、静的にリンクされ、最適化されると、従来のディスカバリツールが依存するシンボル、ライブラリ依存性、実行時の動作がなくなる。
本稿では,数論的変換定数テーブルからアルゴリズムを同定する静的解析手法であるケストレルについて述べる。このアルゴリズムをML-KEMとML-DSAの標準化された格子スキームに適用し,既定の方法では,出荷されたバイナリだけでは,量子ハザード可能なアルゴリズムが承認された後継に置き換えられたことを確認できない。
公開スキームパラメータから得られる指紋は、正規化・マルチセットマッチング手順により局所化され、分析的に偽陽性確率が確立される。
4つの独立した実装系統とコンパイラレベルの難読化を含むすべてのビルド変換で、Kestrelは偽陽性ゼロで128のうち128をリコールした。
プロダクションLinuxシステムの6,224のバイナリに適用され、ML-KEMを含む12の非カタログプログラムを公開し、そのうちの1つはOpenSSHキー交換プログラムとコンテナ管理スタックである。
ケストレルは、本来の実装を、基盤となるコードに裏付けられていない広告クレームと区別し、それぞれの検出を元のコードベースに属性付け、そして法医学的なディスクイメージトライアルにおいて、削除されたバイナリがもはや再構築できない後に、未配置のスペースから検出を回復した。
これにより、暗号マイグレーション保証、コンプライアンス検証、ソフトウェアサプライチェーン検査、および後法医学検査の実践的基盤を提供する。
関連論文リスト
- 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。