論文の概要: Explainable PQC: A Layered Interpretive Framework for Post-Quantum Cryptographic Security Assumptions

• arxiv url: http://arxiv.org/abs/2604.03665v1
• Date: Sat, 04 Apr 2026 09:32:51 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-04-07 15:49:18.709076
• Title: Explainable PQC: A Layered Interpretive Framework for Post-Quantum Cryptographic Security Assumptions
• Title（参考訳）: 説明可能なPQC: ポスト量子暗号セキュリティ評価のための階層型解釈フレームワーク
• Abstract要約: 本稿では,ポスト量子暗号(PQC)のセキュリティ仮定をどのように表現し,伝達するかを検討する。 本稿では,古典的セキュリティ,量子セキュリティ,還元支援硬度を区別する複雑性に基づく解釈モデルを提案する。 本論文は,新たな暗号のハードネス結果,新たな攻撃,具体的なセキュリティパラメータ推定を主張するものではない。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper studies how post-quantum cryptographic (PQC) security assumptions can be represented and communicated through a structured, layered framework that is useful for technical interpretation but does not replace formal cryptographic proofs. We propose ``Explainable PQC,'' an interdisciplinary framework connecting three layers: (1) a complexity-based interpretive model that distinguishes classical security, quantum security, and reduction-backed hardness, drawing on computational complexity classes as supporting language; (2) an exploratory mathematical investigation applying combinatorial Hodge theory and polyhedral geometry to study structural aspects of lattice hardness; and (3)~an empirical experimentation platform, implemented in Julia, for measuring the behavior of lattice basis reduction algorithms (LLL, BKZ) in low-dimensional settings. The motivating case study throughout the paper is lattice-based PQC, including ML-KEM (FIPS 203) and ML-DSA (FIPS 204). The contribution of this paper is conceptual and organizational: it defines a layered interpretive framework, clarifies its scope relative to formal cryptographic proofs and reduction-based security arguments, and identifies mathematical and implementation-level directions through which PQC security claims may be more transparently communicated. This paper does not claim new cryptographic hardness results, new attacks, or concrete security parameter estimates.
• Abstract（参考訳）: 本稿では, 量子後暗号(PQC)のセキュリティ仮定を, 技術的解釈に有用だが形式的な暗号証明を置き換えない構造化, 階層化されたフレームワークで表現し, 通信する方法について検討する。 筆者らは,(1)古典的セキュリティ,量子セキュリティ,リダクション支援の硬さを識別する複雑性に基づく解釈モデル,(2)格子硬さの構造面を研究するための組合せホッジ理論と多面体幾何学を適用した探索的数学的研究,(3)ユリア州で実施された経験的実験プラットフォームを,低次元環境下での格子ベース低減アルゴリズム(LLL,BKZ)の挙動を測定するための,3つの層を接続する学際的フレームワークである ``Explainable PQC,' を提案する。 論文全体のモチベーションケーススタディは、ML-KEM(FIPS 203)やML-DSA(FIPS 204)を含む格子ベースのPQCである。 本論文のコントリビューションは概念的かつ組織的であり、階層化された解釈フレームワークを定義し、形式的な暗号証明や縮小に基づくセキュリティ引数に対してその範囲を明確にし、PQCのセキュリティ主張をより透過的に伝達する数学的および実装レベルの方向性を特定する。 本論文は,新たな暗号のハードネス結果,新たな攻撃,具体的なセキュリティパラメータ推定を主張するものではない。

関連論文リスト

• Does Syntax Matter? A Graph-Augmented Variational Topic Model for Computational Social Sciences [51.56484100374058]
  本稿では、構文依存関係をトピック推論に組み込んだアーキテクチャである、構造的文脈確率的トピックモデル(SCPTM)を紹介する。 本研究では,レジスタ構造と談話構造が異なる4つのコーパスのトピックモデリング手法について検討した。 その結果, SCPTMのニューラルアーキテクチャは, 生成的ベースラインよりも文書・トピックアライメントが著しく向上していることが示唆された。
  論文  参考訳（メタデータ） (2026-09-07T17:39:06Z)
• Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory [13.58013986113788]
  量子情報理論(QIT)は、量子情報処理の能力と基本的な限界を特徴づける。 既存の開発には、コード、エラー基準、達成可能なレート、能力を定義する再利用可能な運用層がない。 有限次元QITのためのLean 4ライブラリであるLeanQITを紹介します。
  論文  参考訳（メタデータ） (2026-07-10T17:28:26Z)
• Provably Secure Agent Guardrail [89.79561918065122]
  既存の防衛アーキテクチャは経験的セマンティックガードレールと確率論的大モデル調整器に依存している。 本稿では,論理的推論の基本的制約に基づくエージェントのための新しいセキュリティパラダイムを提案する。
  論文  参考訳（メタデータ） (2026-05-28T02:12:41Z)
• Integrated and Cross-Architecture Interpretation of LLM Reasoning [48.58940522466915]
  統合されたクロスアーキテクチャ推論(IAR)フレームワークは、LLM推論の解釈可能性に対する統一的なアプローチを提供するように設計されている。 まず、チューキーIQRピーク検出と組み合わされた帯域幅校正MIPを用いて、出力層における推論・クラシカルトークンを分離することを提案する。 次に、MIP-pickedトークンと計算深度トークンの重なり解析を行い、それらのトークンの層間軌跡をトレースする。
  論文  参考訳（メタデータ） (2026-05-27T05:56:35Z)
• Untangling Surface Codes: Bridging Braids and Lattice Surgery [51.748182660642776]
  本研究では, 耐故障性量子回路をそれらのブレイディングと格子状手術表現の間に翻訳する方式を提案する。 当社のフレームワークは,大規模サーフェスコードの自動検証,コンパイル,ベンチマークの基盤を提供する。
  論文  参考訳（メタデータ） (2025-11-27T10:12:38Z)
• Nonlocal Games Through Communication Complexity and Quantum Cryptography [0.0]
  この論文は量子情報理論と量子暗号の基礎的な側面を探求している。 我々は,通信複雑性の原理を活用することにより,非信号相関と量子相関を区別することを目的とする。 本研究では,遠隔者同士が共有メッセージに関する情報を同時に取得することを防止する暗号化方式を構築することを目的とする。
  論文  参考訳（メタデータ） (2025-10-10T15:07:24Z)
• MST3 Encryption improvement with three-parameter group of Hermitian function field [0.0]
  本研究は,自己同型群を暗号スキーム実装の基本構造として活用した高度な暗号フレームワークを提案する。 この実装における重要な革新は、基礎となる数学的枠組みとしてエルミート函数場を利用することである。 暗号化メカニズムは、暗号文からのフェーズドキーの非カプセル化を特徴とし、代替実装に対する大きな優位性を示している。
  論文  参考訳（メタデータ） (2025-04-21T18:58:42Z)
• Complexity of Post-Quantum Cryptography in Embedded Systems and Its Optimization Strategies [2.821324092673655]
  NIST(National Institute of Standards and Technology)は、ポスト量子暗号(PQC)アルゴリズムの標準化プロセスを開始した。 本稿ではまず,組込みシステムにおけるポスト量子暗号(PQC)のハードウェア複雑性を包括的に解析する。 これらの課題に対処するために、パイプライニング、並列化、高レベル合成などの最適化戦略について論じる。
  論文  参考訳（メタデータ） (2025-04-18T08:02:13Z)
• Cryptanalysis via Machine Learning Based Information Theoretic Metrics [58.96805474751668]
  本稿では,機械学習アルゴリズムの新たな2つの応用法を提案する。 これらのアルゴリズムは、監査設定で容易に適用でき、暗号システムの堅牢性を評価することができる。 本稿では,DES,RSA,AES ECBなど,IND-CPAの安全でない暗号化スキームを高精度に識別する。
  論文  参考訳（メタデータ） (2025-01-25T04:53:36Z)
• Homomorphic Encryption Based on Lattice Post-Quantum Cryptography [0.0]
  ホモモルフィック暗号法は量子コンピューティング攻撃に弱い。 本研究では,格子型ポスト量子同型暗号方式を提案する。 この発見は、同型暗号化アプリケーション開発者のためのリファレンスとして機能することを意図している。
  論文  参考訳（メタデータ） (2024-12-23T05:30:44Z)
• The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
  トークン化は、NLPパイプラインにおける重要なステップである。 NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。 本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
  論文  参考訳（メタデータ） (2024-07-16T11:12:28Z)
• Noise Contrastive Estimation-based Matching Framework for Low-Resource Security Attack Pattern Recognition [45.34519578504934]
  TTP(Tactics, Techniques and Procedures)は、サイバーセキュリティドメインにおける高度な攻撃パターンを表す。 そこで本研究では,TTPラベルへのテキストの割り当てが,両者の直接的な意味的類似性によって決定される,異なる学習パラダイムの問題を定式化する。 本稿では,効果的なサンプリングベース学習機構を備えたニューラルマッチングアーキテクチャを提案する。
  論文  参考訳（メタデータ） (2024-01-18T19:02:00Z)
• PQCMC: Post-Quantum Cryptography McEliece-Chen Implicit Certificate Scheme [0.0]
  そこで本研究では,PQCMC(McEliece-Chen)を用いた量子後暗号手法を提案する。 本研究では,量子コンピューティングの脅威に対処する手段として,PQCに基づく暗黙的な証明スキームの実現可能性を示す。
  論文  参考訳（メタデータ） (2024-01-03T13:34:20Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。