Fugu-MT 論文翻訳(概要): AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing

論文の概要: AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing

arxiv url: http://arxiv.org/abs/2412.20324v2
Date: Wed, 22 Jan 2025 13:06:37 GMT
ステータス: 翻訳完了
システム内更新日: 2025-01-23 16:52:30.846640
Title: AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
Title（参考訳）: 5年後のAFLNet:Coverage-Guided Protocol Fuzzing
Authors: Ruijie Meng, Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury,
Abstract要約: 本稿では,過去5年間のAFLNetの技術的貢献を概観する。 AFLNetは、コードとステートをカバーした最初のプロトコルファザである。
参考スコア（独自算出の注目度）: 20.704858261496792
License:
Abstract: Protocol implementations are stateful which makes them difficult to test: Sending the same test input message twice might yield a different response every time. Our proposal to consider a sequence of messages as a seed for coverage-directed greybox fuzzing, to associate each message with the corresponding protocol state, and to maximize the coverage of both the state space and the code was first published in 2020 in a short tool demonstration paper. AFLNet was the first code- and state-coverage-guided protocol fuzzer; it used the response code as an indicator of the current protocol state. Over the past five years, the tool paper has gathered hundreds of citations, the code repository was forked almost 200 times and has seen over thirty pull requests from practitioners and researchers, and our initial proposal has been improved upon in many significant ways. In this paper, we first provide an extended discussion and a full empirical evaluation of the technical contributions of AFLNet and then reflect on the impact that our approach and our tool had in the past five years, on both the research and the practice of protocol fuzzing.
Abstract（参考訳）: プロトコルの実装はステートフルなので、テストが難しい。同じテスト入力メッセージを2回送信すると、毎回異なるレスポンスが得られます。本提案では,各メッセージを対応するプロトコル状態に関連付け,状態空間とコードの両方のカバレッジを最大化するために,カバレッジ指向のグレーボックスファジングのシードとしてメッセージ列を検討することを提案する。 AFLNetは、現在のプロトコル状態の指標としてレスポンスコードを使用した最初のコードおよび状態被覆型プロトコルファザである。過去5年間で、ツールペーパーは何百もの引用を集め、コードリポジトリはほぼ200回フォークされ、実践者や研究者からの30以上のプルリクエストが見られました。本稿では、まず、AFLNetの技術的貢献に関する広範な議論と完全な実証的な評価を行い、その後、我々のアプローチとツールが過去5年間に与えた影響を、プロトコルファジィングの研究と実践の両方に反映する。

関連論文リスト

Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation [71.32761934724867]
この研究は、記号的突然変異を通じて形式的な定理を構成するデータ合成のフレームワークであるAlchemyを提案する。マドリブにおける各候補定理について、書き直しや適用に使用できるすべてのイベーシブルな定理を同定する。その結果、マドリブの定理の数は110kから6Mへと桁違いに増加する。
論文参考訳（メタデータ） (2024-10-21T08:04:21Z)
Experimental Simulation of Two Pulses and Three Pulses Coherent One Way Quantum Key Distribution Protocol in Noisy/Noiseless and Wired/Wireless Environment [1.8638865257327277]
Coherent One Way(COW)プロトコルは、ハードウェア展開の容易さから、最も有名なプロトコルの1つである。我々は、ノイズのないシナリオとノイズのないシナリオの両方で、プロトコルの符号化と復号部分を示す。
論文参考訳（メタデータ） (2024-09-23T11:02:52Z)
Stateful protocol fuzzing with statemap-based reverse state selection [3.7687375904925484]
Stateful Coverage-Based Greybox Fuzzing (SCGF) はネットワークプロトコルのグレーボックスファジングの最先端手法であると考えられている。本稿では,SCGFのための状態マップに基づく逆状態選択法を提案する。
論文参考訳（メタデータ） (2024-08-13T12:11:41Z)
FastFiD: Improve Inference Efficiency of Open Domain Question Answering via Sentence Selection [61.9638234358049]
FastFiDは、エンコードされたパスで文の選択を実行する新しいアプローチである。これにより、価値ある文を保持するのに役立ち、回答を生成するのに必要な文脈長を減らすことができる。
論文参考訳（メタデータ） (2024-08-12T17:50:02Z)
Rethinking Human Evaluation Protocol for Text-to-Video Models: Enhancing Reliability,Reproducibility, and Practicality [58.87422943009375]
本稿では,T2Vモデルのための包括的で標準化されたプロトコルであるText-to-Video Human Evaluation (T2VHE)プロトコルを紹介する。このプロトコルには、明確に定義されたメトリクス、完全なアノテータトレーニング、効果的な動的評価モジュールが含まれている。我々は、完全なプロトコルワークフロー、動的評価コンポーネントの詳細、アノテーションインターフェースコードを含む、T2VHEプロトコルのセットアップ全体をオープンソースにします。
論文参考訳（メタデータ） (2024-06-13T06:09:22Z)
Towards Semantic Communication Protocols for 6G: From Protocol Learning to Language-Oriented Approaches [60.6632432485476]
6Gシステムは、幅広い非定常タスクに対処することが期待されている。これは、静的で事前定義された従来のメディアアクセス制御(MAC)プロトコルに課題をもたらす。データ駆動MACプロトコルが最近登場し、特定のタスクのためにシグナリングメッセージをカスタマイズする機能を提供する。本稿では、これらのデータ駆動MACプロトコルを、3つのレベルに分類する:レベル1 MAC。レベル2 MAC。レベル2 MAC。レベル1 MAC出力を明示的なシンボルに変換することによって開発されたニューラルネットワーク指向のシンボルプロトコル、レベル3 MAC。
論文参考訳（メタデータ） (2023-10-14T06:28:50Z)
Quantum Two-Way Communication Protocol Beyond Superdense Coding [36.25599253958745]
量子対を絡めて古典的なビットを伝送するための双方向通信プロトコルに一方向超深符号化の一般化を導入する。提案プロトコルは従来のプロトコルと比較してデータレートとエネルギー効率を50%向上させる。
論文参考訳（メタデータ） (2023-09-06T08:48:07Z)
KG-FiD: Infusing Knowledge Graph in Fusion-in-Decoder for Open-Domain Question Answering [68.00631278030627]
検索した通路間の構造的関係を知識グラフで利用することにより,ノイズのある通路をフィルタする新しい手法KG-FiDを提案する。我々は,KG-FiDが解答一致スコアの最大1.5%向上し,計算コストの40%程度でFiDに匹敵する性能が得られることを示した。
論文参考訳（メタデータ） (2021-10-08T18:39:59Z)
Quantum key distribution based on orthogonal state encoding [0.0]
2つの量子鍵分布プロトコルが提示される。順序-並べ替えのテクニックを使う必要はないが、他方は必要である。テスト状態法を適用し,ノイズの多いチャネルで実装するためのプロトコルを改良する。
論文参考訳（メタデータ） (2021-07-05T12:14:05Z)
Hierarchical Bi-Directional Self-Attention Networks for Paper Review Rating Recommendation [81.55533657694016]
本稿では,階層型双方向自己注意ネットワークフレームワーク(HabNet)を提案する。具体的には、文エンコーダ(レベル1)、レビュー内エンコーダ(レベル2)、レビュー間エンコーダ(レベル3)の3つのレベルで、論文レビューの階層構造を利用する。我々は、最終的な受理決定を行う上で有用な予測者を特定することができ、また、数値的なレビュー評価とレビュアーが伝えるテキストの感情の不整合を発見するのに役立てることができる。
論文参考訳（メタデータ） (2020-11-02T08:07:50Z)
State-of-Art-Reviewing: A Radical Proposal to Improve Scientific Publication [19.10668029301668]
State-Of-the-Art Review (SOAR)は、ピアレビューの'plug-and-play'代替として機能する新奇なレビューパイプラインである。私たちのアプローチの核心は、レビュープロセスが多目的で、大規模に分散し、非常に高いレイテンシの最適化である、という解釈です。
論文参考訳（メタデータ） (2020-03-31T17:58:36Z)

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

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