論文の概要: SeriCrypt: An LLM-Driven Context-Aware Serialization Framework for Cryptographic Protocols
- arxiv url: http://arxiv.org/abs/2608.24498v1
- Date: Tue, 25 Aug 2026 12:46:34 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-26 14:09:34.988765
- Title: SeriCrypt: An LLM-Driven Context-Aware Serialization Framework for Cryptographic Protocols
- Title（参考訳）: SeriCrypt: 暗号化プロトコルのためのLLM駆動コンテキスト対応シリアライズフレームワーク
- Abstract要約: SeriCrypt(セリクリプ)は、暗号プロトコルのためのLLM駆動のコンテキスト対応シリアライズフレームワークである。
これは、非構造化プロトコル仕様からフィールド制約、状態依存、および暗号計算ルールを抽出するために、大きな言語モデルを使用する。
プロトコルに依存しない実行エンジンは、CDSL宣言を解析し、フィールド値解決の自動化、暗号プリミティブ呼び出し、ストリームシリアライゼーションを行う。
- 参考スコア（独自算出の注目度）: 3.5793925951831125
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Constructing syntactically correct and cryptographically valid message sequences is essential for protocol state machine learning, conformance testing, and fuzzing. Unlike plaintext protocols, cryptographic protocols involve complex cross-message state dependencies and cryptographic computation constraints. Existing automated approaches predominantly target text-based or plaintext protocols, leaving cryptographic message construction largely manual. We present SeriCrypt, an LLM-driven, context-aware serialization framework for cryptographic protocols. It employs a large language model to extract field constraints, state dependencies, and cryptographic computation rules from unstructured protocol specifications into a unified structured intermediate representation, formally characterized by a domain-specific language for cryptographic protocols (CDSL). A protocol-agnostic execution engine parses CDSL declarations, automating field value resolution, cryptographic primitive invocation, and byte-stream serialization. As case studies in protocol security testing, we use the framework to construct violation messages targeting specification-defined security constraints and to support protocol fuzzing, evaluating it on mainstream implementations of TLS 1.2/1.3, IKEv1/v2, SSH, and TLCP. SeriCrypt generated message sequences accepted by all evaluated implementations and completed handshakes in every scenario. Security constraint testing revealed five specification violations, and fuzzing reached deeper protocol states with higher code coverage than mainstream fuzzers under the same time budget, demonstrating the framework's practical value for cryptographic protocol security testing.
- Abstract（参考訳）: 構文的に正しいメッセージシーケンスと暗号的に有効なメッセージシーケンスを構築することは、プロトコル状態の機械学習、適合性テスト、ファジングに不可欠である。
平文プロトコルとは異なり、暗号プロトコルは複雑なクロスメッセージ状態依存と暗号計算の制約を含む。
既存の自動化アプローチは主にテキストベースのプロトコルや平文のプロトコルをターゲットにしており、暗号メッセージの構築は主に手作業で行われている。
SeriCryptは、暗号プロトコルのためのLLM駆動のコンテキスト対応シリアライズフレームワークである。
フィールド制約、状態依存、暗号計算ルールを非構造化プロトコル仕様から抽出し、正式には暗号プロトコル(CDSL)のドメイン固有言語によって特徴づけられる、統一された構造化中間表現に変換するために、大きな言語モデルを採用している。
プロトコルに依存しない実行エンジンは、CDSL宣言を解析し、フィールド値解決の自動化、暗号プリミティブ呼び出し、バイトストリームシリアライゼーションを行う。
プロトコルセキュリティテストのケーススタディでは、仕様定義されたセキュリティ制約をターゲットにした違反メッセージの構築とプロトコルファジィングをサポートし、TLS 1.2/1.3、IKEv1/v2、SSH、TLCPのメインストリーム実装上での評価を行う。
SeriCryptは、評価されたすべての実装で受け入れられたメッセージシーケンスを生成し、すべてのシナリオでハンドシェイクを完了した。
セキュリティ制約テストは5つの仕様違反を明らかにし、ファジィングは暗号プロトコルのセキュリティテストにおけるフレームワークの実践的価値を実証し、主要なファジィアよりも高いコードカバレッジを持つより深いプロトコル状態に到達した。
関連論文リスト
- LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean [9.293322518056357]
本稿では,タイプベースの推論とトレースベースの推論を組み合わせることで,ステートフルプロトコルとアンバウンドプロトコルのモジュール検証を実現する手法を提案する。
私たちはこのフレームワークをリーン実証アシスタント用のLeanDYライブラリとして実装し、DY*の設計を構築し拡張します。
我々は、LeanDYでSegWitスタイルのブロックチェーンプリミティブを形式化し、支払いチャネルの詳細な形式化を行うことで、その表現性を実証する。
論文 参考訳（メタデータ） (2026-07-03T15:12:30Z) - A Technical Taxonomy of LLM Agent Communication Protocols [60.76747983053368]
本研究では,大規模言語モデル(LLM)エージェント通信プロトコルの分類と解析を行う技術的分類法を開発する。
このフレームワークはプロトコルの選択をガイドし、プライバシーやポリシー執行といったオープンな研究ギャップを強調する。
論文 参考訳（メタデータ） (2026-06-17T14:45:20Z) - LLM-Assisted Model-Based Fuzzing of Protocol Implementations [9.512044399020514]
プロトコル動作の障害は脆弱性やシステム障害につながる可能性がある。
プロトコルテストに対する一般的なアプローチは、プロトコルの状態遷移と期待される振る舞いをキャプチャするマルコフモデルを構築することである。
本稿では,大規模言語モデル(LLM)を利用して,ネットワークプロトコルの実装をテストするためのシーケンスを自動的に生成する手法を提案する。
論文 参考訳（メタデータ） (2025-08-03T13:16:18Z) - ProtocolLLM: RTL Benchmark for SystemVerilog Generation of Communication Protocols [45.66401695351214]
本稿では,広く使用されているSystemVerilogプロトコルを対象とした最初のベンチマークスイートであるProtocolLLMを紹介する。
我々は,ほとんどのモデルがタイミング制約に従う通信プロトコルのSystemVerilogコードを生成するのに失敗したことを観察する。
論文 参考訳（メタデータ） (2025-06-09T17:10:47Z) - Secure Semantic Communication With Homomorphic Encryption [52.5344514499035]
本稿では,SemCom に準同型暗号を適用する可能性について検討する。
タスク指向のSemComスキームを提案する。
論文 参考訳（メタデータ） (2025-01-17T13:26:14Z) - DT-SIM: Property-Based Testing for MPC Security [2.0308771704846245]
プロパティベースのテストはセキュアプロトコルのセキュリティバグの検出に有効である。
セキュアマルチパーティ計算(MPC)を特に対象とする。
MPCプロトコルのビットレベル実装において,様々な欠陥を検出するテストを作成する。
論文 参考訳（メタデータ） (2024-03-08T02:02:24Z) - Coding-Based Hybrid Post-Quantum Cryptosystem for Non-Uniform Information [53.85237314348328]
我々は、新しいハイブリッドユニバーサルネットワーク符号化暗号(NU-HUNCC)を導入する。
NU-HUNCCは,リンクのサブセットにアクセス可能な盗聴者に対して,個別に情報理論的に保護されていることを示す。
論文 参考訳（メタデータ） (2024-02-13T12:12:39Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - HasTEE+ : Confidential Cloud Computing and Analytics with Haskell [50.994023665559496]
信頼性コンピューティングは、Trusted Execution Environments(TEEs)と呼ばれる特別なハードウェア隔離ユニットを使用して、コテナントクラウドデプロイメントにおける機密コードとデータの保護を可能にする。
低レベルのC/C++ベースのツールチェーンを提供するTEEは、固有のメモリ安全性の脆弱性の影響を受けやすく、明示的で暗黙的な情報フローのリークを監視するための言語構造が欠如している。
私たちは、Haskellに埋め込まれたドメイン固有言語(cla)であるHasTEE+を使って、上記の問題に対処します。
論文 参考訳（メタデータ） (2024-01-17T00:56:23Z) - CryptoBap: A Binary Analysis Platform for Cryptographic Protocols [6.514727189942011]
暗号プロトコルの弱い秘密と認証を検証するプラットフォームであるCryptoBapを紹介する。
まずプロトコルのバイナリを中間表現に変換し、次に暗号対応のシンボル実行を実行する。
提案手法の健全性を実証し,CryptoBapを用いて,おもちゃの例から実世界のプロトコルまで,複数のケーススタディを検証した。
論文 参考訳（メタデータ） (2023-08-28T09:41:45Z) - A Security Verification Framework of Cryptographic Protocols Using
Machine Learning [0.0]
機械学習を用いた暗号プロトコルのセキュリティ検証フレームワークを提案する。
ランダムなプロトコルを自動的に生成し、セキュリティラベルを割り当てることで、任意に大規模なデータセットを作成する。
提案手法を実用的な暗号プロトコルの検証に適用して評価する。
論文 参考訳（メタデータ） (2023-04-26T02:37:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。