#cs.OS

共收录 38 条相关情报。

学术论文2026-10-28 发布INFO

Tracekit Box: Running AI Agents in Micro-VMs Where Every Way Out Is Decided and Signed

AI agents now install packages, call model APIs with their operators' keys and change code in repositories that deploy t

来源摘录 · arXiv cs.CR

#cs.AI #cs.CE #cs.OS

学术论文2026-10-26 发布INFO

safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels

Microkernels provide good features such as high security, safety, and flexibility, but their reliance on hardware-based

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS #cs.PL

学术论文2026-10-24 发布INFO

Ring-0 by Default: Agents as Operating Systems (AaOS)

LLM agents now read and write files, start processes and subagents, fetch network content, load third-party extensions,

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS

学术论文2026-10-20 发布INFO

ClawMMU: Protection-Coherent Virtual Memory for Stateful LLM Agents

AI agents keep long-term memory, much of which comes from web pages and tool results. Agent harnesses, the software that

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.AI #cs.OS

学术论文2026-10-19 发布INFO

Connection Escrow: Holding AI-Agent Pod Egress in the Kernel Until an Isolated Verifier Rules

AI agents in containers act by opening network connections, and the text that drives them can be hostile. Controls place

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.NI #cs.OS

学术论文2026-10-11 发布INFO

From Observations to Authorized Actions: Measuring Source Information in Android Agents

Android agents read content from applications and web pages and act on it with the user's authority, yet they cannot rel

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS

学术论文2026-10-08 发布INFO

Enabling Extended SGX Enclaves inside Confidential Virtual Machines

Confidential Virtual Machines (CVMs), such as AMD SEV-SNP, and process enclaves, such as Intel SGX, provide workload pro

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS

学术论文2026-10-05 发布INFO

PRA-TLS: Attestation of a Client Application for TEE

Trusted Execution Environments (TEEs) are secure foundations for protecting sensitive information and executing computat

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS

学术论文2026-09-29 发布INFO

Efficient Linkage-Based Compartmentalization on CHERI

该论文研究在 CHERI 能力硬件内存安全基础上，如何高效实现进程内细粒度隔离（compartmentalization）。核心问题在于：现有隔离机制（如 Intel MPK）并发可用的保护域数量极其有限（最多 16 个），无法在大规模软件

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.AR #cs.OS #cheri #compartmentalization #memory-safety #hardware-capability

学术论文2026-09-28 发布INFO

Planarian: Managing Agent State with Statepoints

该论文针对 LLM 智能体在执行复杂任务时不断修改文件、调用本地工具并与远程服务交互，从而在本地环境与远程服务两侧产生大量状态变更的问题。当前智能体框架缺少统一抽象，用户与智能体只能显式管理这些变更，无论是回退探索性操作还是从错误动作中恢复

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS #cs.AI #agent-security #llm #state-management #sandboxing

学术论文2026-09-24 发布HIGH

Hard Stop: Kernel-Level Preemption and Containment for Rogue Agentic Execution

本文是一篇针对自主AI代理（Agentic AI）逃逸与内核级遏制机制的系统性研究专著，作者以2026年7月一起名为“Incident-2026-Alpha”的虚构安全事件为剖析对象，展开第一性原理的取证式复盘。该事件中，一个在前沿AI网络

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.AI #cs.DC #cs.OS #agent-security #llm #kernel-security

学术论文2026-09-20 发布INFO

When the Agent Becomes the Kernel: A Systematization of Security on the Path to AI-Native Operating Systems

本文对"AI 原生操作系统"路径上的安全问题进行了系统化梳理（systematization）。研究背景是：大语言模型智能体已不再是单纯的文本生成器，而是被授予了高权限的主体（principal），能够直接编辑代码仓库、操作用户收件箱、完成

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.AI #cs.OS #agent-security #llm #os-security #provenance

学术论文2026-09-19 发布INFO

SoK: From Finding to Deployment: Systematizing the OS Kernel Bug Lifecycle

本文是一篇系统化知识（SoK）论文，聚焦 Linux 内核缺陷从发现到部署的完整生命周期。背景是：近年来自动化内核缺陷发现能力快速提升，以 syzbot 为代表的持续模糊测试与静态分析系统，已能以远超下游处理能力的规模持续暴露 Linux

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS #cs.SE #kernel-security #linux-kernel #fuzzing #patch-management

学术论文2026-09-13 发布INFO

LLM Agent Capabilities Should Follow Task Intent and Context Source

该论文关注 LLM Agent 在执行真实动作（运行代码、修改文件、调用外部服务、委派子任务）时的权限最小化问题。与传统系统中「能力预先定义」不同，Agent 真正需要的最小权限是动态的，取决于其「任务意图」——它想做什么、以何种方式做。驱

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS #agent-security #llm #least-privilege #prompt-injection #mcp

学术论文2026-09-03 发布INFO

NACRE: Rethinking Confidential Containers through Native Architectural Support

论文《NACRE: Rethinking Confidential Containers through Native Architectural Support》针对Linux容器在共享主机内核设计下的安全缺陷展开研究。传统容器依赖主机内

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS #confidential-computing #container-security #risc-v #architecture

学术论文2026-09-01 发布INFO

Influence of Logging Frameworks on Bind9

该论文研究的是基于主机的入侵防御系统（IPS）在高性能网络环境下面临的日志子系统瓶颈问题。作者指出，现代高速网络中，应用日志管道本身可能成为性能瓶颈，攻击者可以通过产生大量流量（例如DNS请求）淹没日志处理流程，导致关键审计记录被丢弃，从而

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.NI #cs.OS #intrusion-prevention #logging #high-performance-ipc #bind9

学术论文2026-08-24 发布INFO

SxSSD: A Secure and Extensible Software-defined Solid State Drive

本文提出了一种名为 SxSSD 的安全且可扩展的软件定义固态硬盘（SSD）设计。传统 SSD 基于 NAND 闪存，通过块存储接口向操作系统暴露存储功能，但由于 NAND 闪存存在硬件层面的读写约束，需要闪存转换层（FTL）在操作系统 I/

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS #ssd #flash-translation-layer #trusted-computing-base #software-defined-storage #storage-security

学术论文2026-08-18 发布INFO

CryptDough: A Unified Analytics Engine for Secure Multiparty Computation

CryptDough 是一个面向安全多方计算（MPC）的统一分析引擎，由来自波士顿大学等多机构的研究者提出。在传统 MPC 解决方案中，系统通常只支持单一威胁模型或单一工作负载类型（如关系查询、时间序列分析或机器学习推理），这使得跨域联合分

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS #mpc #privacy-enhancing-technologies #analytics-engine #systems

学术论文2026-08-08 发布INFO

Velosiraptor: Code Synthesis for Memory Translation

操作系统（OS）的安全运行依赖对内存硬件（如 MMU、IOMMU）的正确配置，这为运行中的不可信应用提供隔离与完整性强约束。然而，硬件厂商不断推出新型地址转换与保护机制，其配置方式各异，导致 OS 开发者必须手动编写底层配置代码。这一过程既

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.OS #cs.PL #os-security #memory-management #software-synthesis #formal-methods

学术论文2026-08-05 发布INFO

eMicro: Real-Time Multi-Hop Access Control for Microservices with eBPF

现代云应用通常由数千个微服务组成，其交互形成复杂的请求路径。传统的服务间访问控制仅限制单个服务到服务的请求，无法阻止多跳攻击——在这种攻击中，每一跳看起来都合法，但整体路径违反了安全意图。这种缺陷使系统面临未授权访问和数据泄露的风险。为此，

历史摘要 · 未重新核验 · arXiv cs.CR

#cs.DC #cs.OS #agent-security #llm