論文の概要: Verifying QUIC implementations using Ivy
- arxiv url: http://arxiv.org/abs/2503.01374v1
- Date: Mon, 03 Mar 2025 10:17:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-03-05 19:20:49.242445
- Title: Verifying QUIC implementations using Ivy
- Title（参考訳）: IvyによるQUIC実装の検証
- Authors: Christophe Crochet, Tom Rousseaux, J-F Sambon, Maxime Piraux, Axel Legay,
- Abstract要約: QUICはTCPの信頼性と混雑制御機能とTLSのセキュリティ機能を組み合わせた新しいトランスポートプロトコルである。
QUICの主な課題の1つは、その実装がIETF仕様に従っていることを保証することである。
本稿では,このツールがQUIC仕様の曖昧さを浮き彫りにし,修正への道筋を提案する。
- 参考スコア（独自算出の注目度）: 1.7270401638130373
- License:
- Abstract: QUIC is a new transport protocol combining the reliability and congestion control features of TCP with the security features of TLS. One of the main challenges with QUIC is to guarantee that any of its implementation follows the IETF specification. This challenge is particularly appealing as the specification is written in textual language, and hence may contain ambiguities. In a recent work, McMillan and Zuck proposed a formal representation of part of draft-18 of the IETF specification. They also showed that this representation made it possible to efficiently generate tests to stress four implementations of QUIC. Our first contribution is to complete and extend the formal representation from draft-18 to draft-29. Our second contribution is to test seven implementations of both QUIC client and server. Our last contribution is to show that our tool can highlight ambiguities in the QUIC specification, for which we suggest paths to corrections
- Abstract（参考訳）: QUICはTCPの信頼性と混雑制御機能とTLSのセキュリティ機能を組み合わせた新しいトランスポートプロトコルである。
QUICの主な課題の1つは、その実装がIETF仕様に従っていることを保証することである。
この課題は、仕様がテキスト言語で記述されているため、曖昧さを含む可能性があるため、特に魅力的である。
最近の研究で、McMillanとZuckはIETF仕様のドラフト18の一部の形式的な表現を提案した。
彼らはまた、この表現により、QUICの4つの実装を強調するために、効率的にテストを生成することができることを示した。
最初のコントリビューションは、ドラフト18からドラフト29への形式的な表現の完了と拡張です。
第2のコントリビューションは、QUICクライアントとサーバの両方の7つの実装をテストすることです。
我々の最後の貢献は、私たちのツールがQUIC仕様のあいまいさを強調できることを示し、修正への道を提案することである。
関連論文リスト
- A SAT-based approach to rigorous verification of Bayesian networks [13.489622701621698]
ベイジアンネットワークに適した検証フレームワークを導入し,これらの欠点に対処する。
本フレームワークは,(1)ベイジアンネットワークをブール論理リテラルに変換する2段階のコンパイルおよび符号化スキームと,(2)これらのリテラルを活用して制約として符号化された様々なプロパティを検証する形式的検証クエリの2つの主要なコンポーネントから構成される。
検証手法の効率をベンチマークし、実世界のシナリオでその実用性を実証する。
論文 参考訳（メタデータ） (2024-08-02T03:06:51Z) - Successor Features for Efficient Multisubject Controlled Text Generation [48.37713738712319]
本稿では,後継機能 (SF) と言語モデル修正の2つの基本概念を基礎とするSF-GENを紹介する。
SF-GENはこの2つをシームレスに統合し、LCMのパラメータを変更することなくテキスト生成の動的ステアリングを可能にする。
我々の知る限り、本研究はテキスト生成における後継機能の最初の応用である。
論文 参考訳（メタデータ） (2023-11-03T00:17:08Z) - Combining Behaviors with the Successor Features Keyboard [55.983751286962985]
SFK(Successor Features Keyboard)は、検出された状態特徴とタスクエンコーディングによる転送を可能にする。
難易度の高い3次元環境において, SFによる移動を初めて実演する。
論文 参考訳（メタデータ） (2023-10-24T15:35:54Z) - Formulations and Constructions of Remote State Preparation with Verifiability, with Applications [2.3465488122819123]
RSPV(Remote State prepared with verifiability)は重要な暗号プリミティブである。
このプリミティブでは、クライアントはサーバ側の量子状態(状態ファミリーからサンプリングまたは選択される)を準備したいと考えています。
我々はその定式化、構築、応用にいくつかの貢献をしている。
論文 参考訳（メタデータ） (2023-10-08T17:38:43Z) - Pushing the Limits of ChatGPT on NLP Tasks [79.17291002710517]
ChatGPTの成功にもかかわらず、ほとんどのNLPタスクのパフォーマンスは教師付きベースラインよりかなり低い。
そこで本研究では,原因を調べた結果,以下の要因が原因であることが判明した。
NLPタスクにおけるChatGPTの限界を押し上げるために,これらの問題に対処する汎用モジュールの集合を提案する。
論文 参考訳（メタデータ） (2023-06-16T09:40:05Z) - TextFormer: A Query-based End-to-End Text Spotter with Mixed Supervision [61.186488081379]
Transformerアーキテクチャを用いた問合せベースのエンドツーエンドテキストスポッターであるTextFormerを提案する。
TextFormerは、画像エンコーダとテキストデコーダの上に構築され、マルチタスクモデリングのための共同セマンティック理解を学ぶ。
分類、セグメンテーション、認識のブランチの相互訓練と最適化を可能にし、より深い特徴共有をもたらす。
論文 参考訳（メタデータ） (2023-06-06T03:37:41Z) - What GPT Knows About Who is Who [1.3381749415517021]
本稿では,事前学習された大規模言語モデルの能力と制約を識別するためのQAベースのプロンプトエンジニアリング手法を提案する。
実験の結果, GPT-2 と GPT-Neo は有効な答えを返すことができるが, コアフェレント参照を識別する能力は制限され, 即効性があり, 矛盾する結果が得られた。
論文 参考訳（メタデータ） (2022-05-16T00:59:37Z) - Aspect Sentiment Quad Prediction as Paraphrase Generation [53.33072918744124]
Aspect Sentiment Quad Prediction (ASQP)タスクを導入し、与えられた意見文に対するクワッド内のすべての感情要素を共同で検出することを目的とした。
本稿では,ASQP タスクをパラフレーズ生成プロセスにキャストする新しいtextscParaphrase モデリングパラダイムを提案する。
一方、感情要素のセマンティクスは、自然言語形式でそれらを生成する学習によって完全に活用することができる。
論文 参考訳（メタデータ） (2021-10-02T12:57:27Z) - ABCNet v2: Adaptive Bezier-Curve Network for Real-time End-to-end Text
Spotting [108.93803186429017]
エンドツーエンドのテキストスポッティングは、統一されたフレームワークで検出と認識を統合することを目指している。
本稿では、Adaptive Bezier Curve Network v2 (ABCNet v2) を提示することで、エンドツーエンドテキストスポッティングに取り組む。
1) 任意の形状のテキストをパラメータ化されたベジアー曲線で適応的に適合させ, セグメンテーション法と比較すると, 構造的な出力だけでなく, 制御可能な表現も提供できる。
様々なバイリンガル(英語と中国語)ベンチマークデータセットで実施された総合的な実験は、ABCNet v2が現状を達成することを実証している。
論文 参考訳（メタデータ） (2021-05-08T07:46:55Z) - Neural Contract Element Extraction Revisited: Letters from Sesame Street [13.389396129468745]
LSTMベースのエンコーダは、このタスクにおいて拡張CNN、Transformer、BERTよりもパフォーマンスがよい。
ドメイン固有のWORD2VEC埋め込みは、一般的なトレーニング済みのGLOVE埋め込みよりも優れている。
POSタグとトークンシェイプ埋め込みの形式でのモルフォシンタクティックな機能、およびコンテキスト対応のELMO埋め込みはパフォーマンスを改善しません。
論文 参考訳（メタデータ） (2021-01-12T09:02:22Z) - IIE-NLP-NUT at SemEval-2020 Task 4: Guiding PLM with Prompt Template
Reconstruction Strategy for ComVE [13.334749848189826]
サブタスクを複数選択の質問応答形式に形式化し、プロンプトテンプレートで入力を構築する。
実験結果から,本手法はベースラインシステムと比較して高い性能を示した。
最初の2つのサブタスクの2つの公式テストセットにおいて、96.4の精度と94.3の精度で第3位を確保した。
論文 参考訳（メタデータ） (2020-07-02T06:59:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。