論文の概要: safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels

• arxiv url: http://arxiv.org/abs/2610.35999v1
• Date: Mon, 26 Oct 2026 13:35:12 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-29 04:15:49.18659
• Title: safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels
• Title（参考訳）: safeL4:セーフランゲージベースの単一アドレス空間マイクロカーネルを再考
• Abstract要約: safeL4は、安全な言語に基づいたマイクロカーネルを構築するためのアプローチである。 安全でない操作に対する低レベルの抽象化を通じて、最小限の保証を行う。 安全な言語のオブジェクト能力に基づいて機能システムを実装し、システムリソース上のすべての操作に対してきめ細かいアクセス制御を実現する。
• 参考スコア（独自算出の注目度）: 11.047888430886813
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Microkernels provide good features such as high security, safety, and flexibility, but their reliance on hardware-based isolation leads to heavy performance overhead, limiting their widespread adoption. Although constructing single-address-space microkernels based on safe language-based isolation is a promising approach to addressing the performance issue, this approach still faces challenges in maintaining the principle of minimality and enforcing capability-based, fine-grained access control over system resources. We propose safeL4, an approach to constructing microkernels based on safe languages. It guarantees minimality through low-level abstractions for unsafe operations, and implements a capability system based on the safe language's object capabilities to achieve fine-grained access control over all operations on system resources. We implement a prototype system in Rust, and our evaluation results show that the primitives provided by safeL4 are, on average, 1.9$\times$ faster than those of seL4.
• Abstract（参考訳）: マイクロカーネルは、高いセキュリティ、安全性、柔軟性などの優れた機能を提供するが、ハードウェアベースの分離に依存しているため、パフォーマンス上のオーバーヘッドが大きくなり、広く採用されることが制限される。 安全な言語ベースの分離に基づく単一アドレス空間マイクロカーネルの構築は、パフォーマンス問題に対処する上で有望なアプローチであるが、このアプローチは、最小限の原則を維持し、システムリソースに対する機能ベースのきめ細かいアクセス制御を強制するという課題に直面している。 安全言語に基づくマイクロカーネル構築手法であるSafeL4を提案する。 安全でない操作に対する低レベルの抽象化による最小限の保証と、安全な言語のオブジェクト能力に基づく機能システムを実装し、システムリソース上のすべての操作に対するきめ細かいアクセス制御を実現する。 Rustでプロトタイプシステムを実装した結果,SafeL4が提供するプリミティブは,平均して1.9$\times$がseL4よりも高速であることが示された。

関連論文リスト

• DNAlign: Dynamic Null-Space Safe Alignment for LLMs [48.817227234944795]
  制御理論の最適化とヌル空間射影を統合した軽量アライメントフレームワークを提案する。 DNAlignは、フルーエンス、コヒーレンス、および実効性を保ちながら、有害な出力を一貫して減少させる。
  論文  参考訳（メタデータ） (2026-10-02T05:32:49Z)
• One Anchor for All: Unified Multilingual and Multimodal Safety Alignment for LVLMs [63.29484454957031]
  モーダリティと言語共有型安全ニューロン(MLS-Neurons)によって駆動されるニューロンレベルのクロス次元安全アライメントフレームワークを提案する。 提案手法は,多言語およびマルチモーダルの安全性ベンチマークにおいて,最先端のアプローチを著しく上回っている。
  論文  参考訳（メタデータ） (2026-07-30T09:30:03Z)
• Precise Shield: Explaining and Aligning VLLM Safety via Neuron-Level Guidance [64.18179414483966]
  実世界のデプロイメントでは、VLLM(Vision-Language Large Models)は、多言語およびマルチモーダル複合攻撃による重要な課題に直面している。 危険入力と良入力のアクティベーションパターンを対比することにより、まず安全ニューロンを識別する2段階のフレームワークであるPrecise Shieldを提案する。 この戦略は多言語および多モーダルの一般化を維持しながら安全性を大幅に向上させる。
  論文  参考訳（メタデータ） (2026-04-10T02:42:52Z)
• BarrierSteer: LLM Safety via Learning Barrier Steering [83.12893815611052]
  BarrierSteerは、学習した非線形安全性制約を直接モデルの潜在表現空間に埋め込むことで、安全性を形式化する新しいフレームワークである。 BarrierSteerは、敵の成功率を大幅に低下させ、安全でない世代を減少させ、既存の手法より優れていることを示す。
  論文  参考訳（メタデータ） (2026-02-23T18:19:46Z)
• Trust The Typical [8.32740388004069]
  本稿では,安全をアウト・オブ・ディストリビューション(OOD)検出問題として扱うことにより,この原則を運用するフレームワークであるTrust The typical(T3)を紹介する。 T3は意味空間における許容可能なプロンプトの分布を学習し、潜在的な脅威として有意な偏差を宣言する。 安全な英語のテキスト転送のみを訓練した単一のモデルは、訓練をすることなく、多様なドメインと14以上の言語に効果的に移行した。
  論文  参考訳（メタデータ） (2026-02-04T14:06:46Z)
• Towards Trustworthy Lexical Simplification: Exploring Safety and Efficiency with Small LLMs [3.0708839100887833]
  大規模言語モデル(LLM)は、語彙的単純化の現実的な応用において課題に直面している。 脆弱なユーザグループ(例えば障害のある人々)は、この技術の主要なターゲットグループのひとつです。 ローカル環境に展開可能な小型LCMを利用するLSシステムのための効率的なフレームワークを提案する。
  論文  参考訳（メタデータ） (2025-09-29T17:25:56Z)
• SafeSwitch: Steering Unsafe LLM Behavior via Internal Activation Signals [51.49737867797442]
  大規模言語モデル(LLM)は、様々なタスクにまたがる例外的な能力を示すが、有害なコンテンツを生成することでリスクを引き起こす。 LLMは、内部状態の安全性に関する内部評価を同様に行うことができることを示す。 本稿では,プロバーをベースとした内部状態モニタを用いて,安全でない出力を規制するSafeSwitchを提案する。
  論文  参考訳（メタデータ） (2025-02-03T04:23:33Z)
• Bringing Rust to Safety-Critical Systems in Space [1.0742675209112622]
  Rustは、バグ導入の可能性を劇的に削減し、より安全で安全なコードを生成することを目的としている。 この作業は、Rustで安全クリティカルな宇宙システムを開発するための一連のレコメンデーションを提供する。
  論文  参考訳（メタデータ） (2024-05-28T12:48:47Z)
• Citadel: Simple Spectre-Safe Isolation For Real-World Programs That Share Memory [8.414722884952525]
  緩和マイクロアーキテクチャ分離(RMI)と呼ばれる新しいセキュリティ機能を導入する。 RMIは、攻撃者とメモリを共有できない機密プログラムを許可し、情報漏洩を非投機的実行に制限する。 エンドツーエンドのプロトタイプであるCitadelは、Linuxをブートしてセキュアなアプリケーションを実行するFPGAベースのマルチコアプロセッサで構成されています。
  論文  参考訳（メタデータ） (2023-06-26T17:51:23Z)

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

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