Fugu-MT 論文翻訳(概要): Weird Machines in Transport Layer Security

論文の概要: Weird Machines in Transport Layer Security

arxiv url: http://arxiv.org/abs/2608.13685v1
Date: Thu, 13 Aug 2026 18:28:01 GMT
ステータス: 翻訳完了
システム内更新日: 2026-08-17 20:14:29.186796
Title: Weird Machines in Transport Layer Security
Title（参考訳）: 輸送層セキュリティにおけるワイドマシン
Authors: Michael Collins, Jada Cumberland, Brianne Dunn, Ross Gore, Samuel Jackson, Sachin Shetty, Jonathan Takeshita,
Abstract要約: 本稿では,トランスポート層セキュリティ(TLS)ハンドシェイクとその主要な実装であるOpenSSLとBoringSSLに,奇妙なマシン理論を拡張した。本研究では,TLSプリミティブがチューリング完全システムを構成することを示す。実際のOpenSSLコードパス上に構築された2つの実動作デモで、この理論を検証する。
参考スコア（独自算出の注目度）: 4.816146174353995
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Weird machines are latent computational capabilities that emerge from the composition of architectural components. Prior work has studied this phenomenon extensively in software systems, including x86 instructions, ELF metadata, and page tables, and more recently in cyber-physical systems such as industrial control networks. This paper extends weird machine theory to a new domain: the Transport Layer Security (TLS) handshake and its two dominant implementations, OpenSSL and BoringSSL. We show that legitimate TLS primitives, including session cache entries, renegotiation logic, extension parsing, and certificate verification steps, compose into Turing-complete systems whose computation is coupled to authentication and trust decisions rather than physical actuation. We formalize this coupling, which we call trust actuation, and argue that any TLS implementation providing session storage, arithmetic on sequence counters, conditional branching on handshake state, and iteration through resumption or retry loops satisfies the conditions for arbitrary computation. We validate this theory with two working demonstrations built on real OpenSSL code paths. The first, a sentinel system, composes standard TLS primitives into a defensive mechanism that detects anomalous handshake behavior. The second, an authentication bypass, composes the same class of primitives into an attack that defeats a cipher-strength policy check through mid-connection renegotiation, without any memory corruption or external malware. Both demonstrations run against real server and client binaries in Docker.
Abstract（参考訳）: ワイドマシン(Werd Machine)は、アーキテクチャコンポーネントの構成から生じる遅延計算能力である。それまでの研究では、x86命令、ELFメタデータ、ページテーブルなど、ソフトウェアシステムや、最近では産業制御ネットワークなどのサイバー物理システムにおいて、この現象を幅広く研究してきた。本稿では,トランスポート層セキュリティ(TLS)ハンドシェイクと,OpenSSLとBoringSSLの2つの主要な実装について,奇妙なマシン理論を新しいドメインに拡張する。本稿では,セッションキャッシュエントリ,再ネゴシエーションロジック,拡張解析,証明検証ステップなどのTLSプリミティブを,物理動作ではなく認証と信頼決定に結合したチューリング完全システムに構成することを示す。我々は、信頼アクチュエータと呼ばれるこの結合を形式化し、セッションストレージ、シーケンスカウンタの演算、ハンドシェイク状態の条件分岐、再使用や再試行ループによる反復といったTLS実装が任意の計算条件を満たすことを主張する。実際のOpenSSLコードパス上に構築された2つの実動作デモで、この理論を検証する。 1つ目はセンチネルシステムで、標準TLSプリミティブを防御機構に構成し、異常なハンドシェイク動作を検出する。 2つめの認証バイパスは、同じプリミティブのクラスを構成し、メモリの破損や外部のマルウェアなしに、中間接続のリネゴシエーションを通じて暗号強度ポリシーチェックを破る攻撃である。どちらのデモも、Dockerの実際のサーバとクライアントのバイナリに対して実行される。

関連論文リスト

CipherSight: Robust Website Fingerprinting via Record-Resource Semantic Supervision under Distribution Shifts [5.86043296080285]
HTTPSウェブサイトのフィンガープリントは、暗号化されたトラフィックで観測可能なメタデータから訪問したウェブサイトを識別することを目的としている。既存の方法は、主に生のTCPパケットシーケンスから学習する。我々は,堅牢なHTTPS WFのためのTLS-recordベースの階層型フレームワークであるCipherSightを提案する。
論文参考訳（メタデータ） (2026-08-14T03:17:57Z)
PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。 SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文参考訳（メタデータ） (2026-07-18T04:46:53Z)
Understanding and Evaluating Claw-like Agent Security Through a Computer-Systems Lens [65.53494487819053]
クローのようなAIエージェント(OpenClawなど)は、認証情報、ファイル、ツール、外部サービスへの永続的なアクセスを伴う、常にオンのプロセスである。我々はClawのようなエージェントをエージェントコンピュータシステムとして扱い、そのゲートウェイランタイムがOSのような仲介の役割を担っている。我々は、4つの攻撃面にわたる406の敵タスクのベンチマークであるSafeClawArenaを開発した。
論文参考訳（メタデータ） (2026-06-29T18:00:45Z)
Provably Secure Agent Guardrail [89.79561918065122]
既存の防衛アーキテクチャは経験的セマンティックガードレールと確率論的大モデル調整器に依存している。本稿では,論理的推論の基本的制約に基づくエージェントのための新しいセキュリティパラダイムを提案する。
論文参考訳（メタデータ） (2026-05-28T02:12:41Z)
From I/O to Code with Discovery Agent [103.88427301265669]
IO2Codeの発見エージェントであるDIO-Agentを提案する。本手法は,プログラム空間上の進化的探索としてIO2Codeをフレーム化する。大規模な実験により、DIO-Agentは従来のプログラムバイサンプル法とSOTA進化エージェントベースラインの両方を一貫して上回っていることが示された。
論文参考訳（メタデータ） (2026-05-14T18:57:32Z)
From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems [0.0]
本稿では,モデルコンテキストプロトコル(MCP)が管理するセマンティックゲートウェイの設計,形式検証,実証評価を提案する。ゲートウェイは、エンタプライズAPIをセマンティックサーフェスとして再構成する。このアーキテクチャでは、事前に推論されたセマンティックファイアウォール、決定論的ツールレベルRBAC、アウトオブバンドの暗号化人間対ループの承認を含む3層ゼロトラストセキュリティモデルが導入されている。
論文参考訳（メタデータ） (2026-04-28T12:25:06Z)
A Systematic Taxonomy of Security Vulnerabilities in the OpenClaw AI Agent Framework [9.723337441030283]
脆弱性は、(1)アーキテクチャレイヤ(実行ポリシー、ゲートウェイ、チャネル、サンドボックス、ブラウザ、プラグイン、エージェント/プロンプト)を反映するシステム軸、(2)攻撃軸、(アイデンティティスプーフィング、ポリシーバイパス、クロスレイヤー構成、即時注入、サプライチェーンエスカレーション)敵のテクニックを反映する。我々は、アーキテクチャ層と信頼侵害タイプによって組織されたオープンソースのAIエージェントランタイムOpenClawに対して、190の勧告を提出した系統分類を提示する。
論文参考訳（メタデータ） (2026-03-29T04:51:27Z)
TorchLean: Formalizing Neural Networks in Lean [71.68907600404513]
本稿では,学習モデルを一級数学的対象として扱うフレームワークであるTorchLeanを紹介する。我々はTorchLeanのエンドツーエンドを、証明された堅牢性、PINNの物理インフォームド残差、Lyapunovスタイルのニューラルコントローラ検証で検証する。
論文参考訳（メタデータ） (2026-02-26T05:11:44Z)
Building a Robust Risk-Based Access Control System to Combat Ransomware's Capability to Encrypt: A Machine Learning Approach [0.510691253204425]
ランサムウェアの中核機能、無許可の暗号化は、正当な使用を妨害することなく悪意のある暗号化活動を識別しブロックする制御を要求する。我々は、機械学習推論と必須アクセス制御を結合して、Linux上の暗号化をリアルタイムに規制する確率論的、リスクベースのアクセス制御アーキテクチャを提案する。
論文参考訳（メタデータ） (2026-01-23T14:48:35Z)
Quantum Encryption in Phase Space for Coherent Optical Communications [0.0]
位相空間における量子暗号化(Quantum Encryption in Phase Space, QEPS)は、光ファイバー上のデータをセキュアにするための物理層暗号化法である。本研究では,盗聴者によるデータ取得を防止するため,異なる変調形式に対する2つの予防策について検討する。
論文参考訳（メタデータ） (2023-01-15T15:08:53Z)
Learning Bounded Context-Free-Grammar via LSTM and the Transformer:Difference and Explanations [51.77000472945441]
Long Short-Term Memory (LSTM) と Transformer は、自然言語処理タスクに使用される2つの一般的なニューラルネットワークアーキテクチャである。実際には、トランスフォーマーモデルの方がLSTMよりも表現力が高いことがよく見られる。本研究では,LSTMとTransformerの実践的差異について検討し,その潜在空間分解パターンに基づく説明を提案する。
論文参考訳（メタデータ） (2021-12-16T19:56:44Z)

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

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