論文の概要: Observer-Quotient Security: Composable Leakage Bounds for Hidden State Continuations
- arxiv url: http://arxiv.org/abs/2607.03610v1
- Date: Fri, 03 Jul 2026 21:49:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-09 16:18:51.216655
- Title: Observer-Quotient Security: Composable Leakage Bounds for Hidden State Continuations
- Title（参考訳）: Observer-Quotient Security: 隠れた状態継続のための構成可能な漏洩境界
- Abstract要約: 本稿では、セッション識別子、適応スケジューラ、オラクルフォワード、シミュレータ、理想的な商関数、および一様でない環境を用いたオブザーバインデクシング実験を定義する。
このフレームワークは、IND-CPA暗号化のタイミングリーク、エントロピー台帳による決定論的暗号化、有限状態側チャネルの洗練のためにインスタンス化されている。
- 参考スコア（独自算出の注目度）: 0.2864713389096699
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Observer-quotient security studies interactive cryptographic systems whose security depends on what an admissible observer can distinguish across transcripts, leakage traces, and hidden implementation continuations. The paper defines observer-indexed experiments with session identifiers, adaptive schedulers, oracle forwarding, simulators, ideal quotient functionalities, and nonuniform environments, and proves a real/ideal emulation theorem in which sequential morphism defects add, parallel defects obey a product-TV bound, and adaptive observer choice is absorbed by an explicit wrapper construction. The resulting advantage bound is indexed by $δ_{\mathrm{obs},t}$, $δ_{K,t}$, $δ_{\mathrm{post},t}$, $δ_{\mathrm{sim},t}$, $η_t$, and the residual floor $ρ_T(\mathbb E Z_T)$. The framework is instantiated for IND-CPA encryption with timing leakage, deterministic encryption with entropy ledgers, and finite-state side-channel refinement under transcript, timing, cache, power, EM, and profiled observers. The optimization/control component identifies hidden continuations with observability kernels, treats sensor redesign as quotient refinement, and converts dissipativity, PL-type rates, and ISS residual bounds into concrete reductions in distinguishing advantage. Ancillary code and synthetic data reproduce the finite-state leakage audit and LTI observer-design benchmark.
- Abstract（参考訳）: Observer-quotient Security(オブザーバ・クォート・セキュリティ)は、認証可能なオブザーバが書き起こし、リークトレース、隠された実装継続を区別できるものに依存する、インタラクティブな暗号システムを研究する。
本稿では, セッション識別子, 適応スケジューラ, オラクルフォワード, シミュレータ, 理想的な商関数, および一様でない環境を用いたオブザーバインデクシング実験を定義し, 逐次射影欠陥が付加され, パラレル欠陥が製品-TV境界に従属し, 適応オブザーバ選択が明示的なラッパー構成によって吸収される実/理想的エミュレーション定理を証明した。
結果として得られる利点境界は、$δ_{\mathrm{obs},t}$, $δ_{K,t}$, $δ_{\mathrm{post},t}$, $δ_{\mathrm{sim},t}$, $η_t$ と残余フロア $ρ_T(\mathbb E Z_T)$ でインデックスされる。
このフレームワークは、IND-CPA暗号化のタイミングリーク、エントロピー台帳による決定論的暗号化、および書き起こし、タイミング、キャッシュ、電力、EM、プロファイルオブザーバによる有限状態側チャネルの洗練のためにインスタンス化されている。
最適化/制御コンポーネントは、可観測性カーネルによる隠れた継続を識別し、センサの再設計を商的な洗練として扱い、解離率、PL型、ISSの残留境界を、利点を区別するために具体的な縮小に変換する。
補助符号と合成データは有限状態漏洩監査とLTIオブザーバ設計ベンチマークを再現する。
関連論文リスト
- See, Hypothesize, Validate: Multimodal Agentic Framework for Discovering Governing PDEs [1.8315988392353102]
textbfMAGE (textbfMultimodal textbfAgentic textbfGoverning textbfEquation Discovery)は、PDE発見をテキスト信頼支配仮説検証ループとして組織するエージェントフレームワークである。
ディスカバリは、ユーザの指定したしきい値がクリアされるまで繰り返し、明示的なアセプション-リジェクトプロトコルを備えた構造化プロセスを提供する。
論文 参考訳（メタデータ） (2026-08-28T03:20:33Z) - Multi-Layer Context Camouflaging: A Semantic Superposition and Contextual Lamination Framework for Malpractice-Resilient Online Assessment [0.0]
本稿では,意味的重畳による評価内容の保護を行う数学的枠組みであるMulti-Layer Context Camouflaging Theory(MCCT)を紹介する。
正当性評価内容と合成されたカモフラージュは統一的なレンダリングとして表現され、正当性のある候補によってのみ回復可能である。
論文 参考訳（メタデータ） (2026-08-13T11:25:12Z) - C$^{2}$R: Cross-sample Consistency Regularization Mitigates Feature Splitting and Absorption in Sparse Autoencoders [56.67585330425431]
スパースオートエンコーダ(SAE)は、アクティベーションをスパースで人間の理解可能な機能に分解することで、大きな言語モデルを解釈するために広く使われている。
これらの問題は、サンプル間の一貫性のない潜在的な割り当てに起因している。
我々はC$2$Rを導入し、これは方向的に類似した潜伏剤の共活性化を罰する。
論文 参考訳（メタデータ） (2026-06-29T17:45:31Z) - AnchorMoE: Interpretable Time Series Classification via Anchor-Routed MoE [51.994752158953084]
AnchorMoEは、解釈可能な構成別分類フレームワークである。
ローカルパッチのマルチビュー表現をエンコードし、専門の専門家にルーティングする。
実世界のベンチマークと合成ベンチマークの実験は、AnchorMoEが非常に競争力のある分類性能を達成することを示した。
論文 参考訳（メタデータ） (2026-06-02T13:30:54Z) - Spectral Audit of In-Context Operator Networks [11.073238833758564]
本稿では,文脈内演算子学習のためのヤコビアンベースのスペクトル監査手法を提案する。
この結果から,予測精度と局所演算子の忠実度は学習したニューラル演算子の異なる特性であることが示唆された。
論文 参考訳（メタデータ） (2026-06-01T16:04:21Z) - What to Test Next: Interpretable Coverage Gap Discovery in Driving VLMs [52.50210189669399]
視覚言語モデル(VLM)を駆動するには,操作設計領域(ODD)が定義する様々な条件のシーンを正確に理解する必要がある
SliceScorerは、欠落したスライス推薦のための決定論的スコアリングルールである。
SliceNavは, 従来のスライス発見法よりも, 高リスクカバレッジギャップを効果的に表面化することを示す。
論文 参考訳（メタデータ） (2026-06-01T03:18:01Z) - Agentic Model Checking [12.832868209928039]
本稿では,LLMエージェントと境界モデルチェックバックエンドを結合するパラダイムを提案する。
我々は、BMC-Agentのアプローチをインスタンス化し、CとRustのLLM生成カーネルおよびコンパイラコード上で評価する。
論文 参考訳（メタデータ） (2026-05-20T17:25:52Z) - Towards Causally Interpretable Wi-Fi CSI-Based Human Activity Recognition with Discrete Latent Compression and LTL Rule Extraction [10.0678616164414]
We address Human Activity Recognition (HAR) using Wi-Fi Channel State Information (CSI)
深部神経モデルによるCSIに基づくHAR(CHAR)の予測性能の向上
そこで本研究では,CSI級のウィンドウをカテゴリ型変分オートエンコーダで圧縮する,完全自動かつ厳密に分離したパイプラインを提案する。
論文 参考訳（メタデータ） (2026-04-24T19:45:49Z) - IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory [73.22944697933603]
既存のパイプラインは不透明でエンドツーエンドの出力を生成し、検査の中間状態は公開しない。
IMPACT-Cycleは,マルチモーダル反復クレームレベルのメンテナンスとして,長時間ビデオ理解を再構築するマルチエージェントシステムである。
論文 参考訳（メタデータ） (2026-04-22T03:03:33Z) - Beyond Reward Suppression: Reshaping Steganographic Communication Protocols in MARL via Dynamic Representational Circuit Breaking [0.0]
監視を回避するためのプライベートプロトコルを開発するエージェントによるステガノグラフィーの共謀は、AIの安全性に重大な脅威をもたらす。
既存の防御は行動層や報酬層に限られており、潜伏する通信路での調整を検知できない。
本稿では,動的表現回路ブレーカ(DRCB)について紹介する。
論文 参考訳（メタデータ） (2026-03-07T04:14:38Z) - The Inevitability of Side-Channel Leakage in Encrypted Traffic [18.365496056967917]
効率優先のシステムでは、少なくとも1つのアプリケーションペアが識別可能である場合、リークは避けられないことを示す。
これにより、暗号化されたトラフィックサイドチャネルのための厳密な情報理論の基礎が確立される。
論文 参考訳（メタデータ） (2026-02-15T08:55:19Z) - Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
生成のための教師なし共形推論フレームワークを提案する。
我々のゲートは、分断されたUPPよりも厳密で安定した閾値を提供する。
その結果は、ラベルのない、API互換の、テスト時間フィルタリングのゲートになる。
論文 参考訳（メタデータ） (2025-09-26T23:40:47Z) - SIM-CoT: Supervised Implicit Chain-of-Thought [108.30049193668083]
Implicit Chain-of-Thought(CoT)メソッドは、大規模言語モデルにおける明示的なCoT推論に代わるトークン効率の代替手段を提供する。
暗黙的なCoTの計算予算をスケールする際の中核的な不安定性問題を特定する。
そこで我々はSIM-CoTを提案する。SIM-CoTは,遅延推論空間を安定化・拡張するためのステップレベルの監視を実現するモジュールである。
論文 参考訳（メタデータ） (2025-09-24T17:01:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。