Fugu-MT 論文翻訳(概要): On Computational Indistinguishability and Logical Relations

論文の概要: On Computational Indistinguishability and Logical Relations

arxiv url: http://arxiv.org/abs/2408.17340v2
Date: Tue, 22 Oct 2024 21:28:16 GMT
ステータス: 処理完了
システム内更新日: 2024-11-08 03:57:28.125837
Title: On Computational Indistinguishability and Logical Relations
Title（参考訳）: 計算不可能性と論理的関係について
Authors: Ugo Dal Lago, Zeinab Galal, Giulia Giusti,
Abstract要約: この研究は、疑似乱数関数によって誘導される暗号化スキームが、純粋に方程式的なスタイルでアクティブな敵に対して安全であることが証明されたセキュリティ証明の例で締めくくられる。
参考スコア（独自算出の注目度）: 1.024113475677323
License: http://creativecommons.org/licenses/by-nc-sa/4.0/
Abstract: A $\lambda$-calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographic constructions and adversaries for them, even when the latter are oracle-based. A notion of observational equivalence capturing computational indistinguishability and a class of approximate logical relations are then presented, showing that the latter represent a sound proof technique for the former. The work concludes with the presentation of an example of a security proof in which the encryption scheme induced by a pseudorandom function is proven secure against active adversaries in a purely equational style.
Abstract（参考訳）: $\lambda$-calculus は、全てのプログラムを確率多項式時間で評価することができ、また、後者がオラクルベースである場合でも、シーケンシャルな暗号構造や逆数を表すのに十分な構造を持つ。次に、計算の不明瞭さを捉える観測等価性の概念と近似論理関係のクラスを提示し、後者が前者の音響的証明手法であることを示す。この研究は、疑似乱数関数によって誘導される暗号化スキームが、純粋に方程式的なスタイルでアクティブな敵に対して安全であることが証明されたセキュリティ証明の例で締めくくられる。

関連論文リスト

TabVer: Tabular Fact Verification with Natural Logic [11.002475880349452]
本稿では,自然論理の文脈における数値と算術関数の集合論的解釈を提案する。大規模言語モデルを用いて,テーブル上で関数を実行することで応答するクレームの健全な部分に関する質問を生成することにより,算術式を生成する。 FEVEROUS上の数ショット設定では、71.4の精度を達成し、完全な神経的および象徴的推論モデルの両方を3.4ポイント上回る。
論文参考訳（メタデータ） (2024-11-02T00:36:34Z)
(Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
論文参考訳（メタデータ） (2024-10-22T00:41:47Z)
Generalized one-way function and its application [0.76146285961466]
我々は、古典的なデータ処理のみに基づく、無条件でセキュアな鍵分配プロトコルを開発する。確率論とランダム性は、無制限の計算能力を持つ敵に対抗する効果的なツールであることを示す。
論文参考訳（メタデータ） (2024-08-24T15:56:30Z)
The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。 NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文参考訳（メタデータ） (2024-07-16T11:12:28Z)
Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文参考訳（メタデータ） (2023-10-05T07:10:40Z)
Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions [0.0]
インダクティブ・コンストラクションの計算におけるオラクル計算可能性とチューリング再現性の概念を総合的に展開する。通常、合成手法では、メタレベル関数に基づいたオラクル計算の定義を用いる。チューリングの再現性は上半格子を形成し、決定可能性を持ち、真理値の再現性よりも厳密に表現可能であることを示す。
論文参考訳（メタデータ） (2023-07-28T13:16:46Z)
From Probabilistic Programming to Complexity-based Programming [0.5874142059884521]
本稿では,CompLogという新しい計算フレームワークの主な特徴と実装について述べる。 ProbLogのような確率的プログラミングシステムにインスパイアされたCompLogは、Simplicity Theoryによって提案された推論メカニズムに基づいている。提案システムでは,ある状況の予期せぬ事柄を,元投稿や元被写体で計算することができる。
論文参考訳（メタデータ） (2023-07-28T10:11:01Z)
A Hybrid System for Systematic Generalization in Simple Arithmetic Problems [70.91780996370326]
本稿では,記号列に対する合成的および体系的推論を必要とする算術的問題を解くことができるハイブリッドシステムを提案する。提案システムは,最も単純なケースを含むサブセットでのみ訓練された場合においても,ネストした数式を正確に解くことができることを示す。
論文参考訳（メタデータ） (2023-06-29T18:35:41Z)
Multivariate Systemic Risk Measures and Computation by Deep Learning Algorithms [63.03966552670014]
本稿では,主観的最適度と関連するリスク割り当ての公平性に着目し,重要な理論的側面について論じる。私たちが提供しているアルゴリズムは、予備項の学習、二重表現の最適化、およびそれに対応する公正なリスク割り当てを可能にします。
論文参考訳（メタデータ） (2023-02-02T22:16:49Z)
Adaptive n-ary Activation Functions for Probabilistic Boolean Logic [2.294014185517203]
マッチングやアリティ向上の活性化関数を用いて,任意の論理を単一層で学習できることが示される。我々は,非ゼロパラメータの数を信念関数の有効アリティに直接関連付ける基礎を用いて,信念表を表現する。これにより、パラメータの間隔を誘導することで論理的複雑性を低減する最適化アプローチが開かれる。
論文参考訳（メタデータ） (2022-03-16T22:47:53Z)
Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文参考訳（メタデータ） (2021-09-25T00:00:47Z)

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