Mutate to Bypass: Autonomous Endpoint Evasion via Knowledge-Driven Multi-Agent Orchestration
本文提出 AutoBypass，一种基于知识图谱的闭环多代理自动化框架，用于评估商业终端检测与响应（EDR）系统的韧性。研究背景是：公开报告和开源资源披露了大量 EDR 规避技术，但现有自动化方法无法将这些碎片化安全知识转化为可运行的载荷，
#cs.OS
共收录 38 条相关情报。
← 返回所有主题Vulnerabilities, Secrets and Misconfiguration in the Highest-Exposure Docker Hub Images
本文针对 Docker Hub 容器镜像中普遍存在的安全漏洞、密钥泄露和错误配置问题，提出了一套大规模生态系统测量方法。研究背景是：Docker Hub 是大多数容器部署的底层镜像仓库，一个广泛使用的基础镜像一旦存在缺陷，将被所有基于其构建
Isolation Failure From Shared Storage: Characterizing and Exploiting Page-Cache SCA Leakage Across Containers and VMs
该论文研究现代云平台中容器和虚拟机（VM）之间通过共享页面缓存（page cache）产生的微架构时序侧信道泄漏问题。云平台为提升性能，通常让租户共享主机硬件资源，同时通过软件隔离（如容器、gVisor、Kata Containers、QE
Complets: Universal Compartmentalisation and Programming Model For Arm Permission Overlay Extension 2
Arm Permission Overlay Extension (POE) 是一种基于内存保护键的进程内隔离机制，最初版本 POE1 允许将虚拟内存分区为不同区域，并通过重新配置访问权限实现软件故障隔离，但缺乏特权分离。POE2 是 PO
EnclaveX: End-to-End Confidential AI with CPU/GPU TEEs
本文针对大语言模型（LLM）在云环境部署中面临的敏感数据泄露和完整性风险，系统研究了利用CPU与GPU可信执行环境（TEE）实现端到端机密AI工作流的可行性与性能开销。当前主流云服务（Azure、GCP、AWS）依赖集中式基础设施，用户必须
Kops: Safely Extending the eBPF Compilation Pipeline with Native Operations
eBPF 是一种在内核中安全运行沙盒程序的技术，广泛应用于网络、可观测性和安全等领域。其安全性依赖于内核内部的编译管道：验证器检查每个程序，内核即时编译器（JIT）将验证后的字节码翻译为本地代码。为保持可信性，内核 JIT 设计得尽可能简单
FlexServe: A Fast and Secure LLM Serving System for Mobile Devices with Flexible Resource Isolation
本文针对移动设备端侧大语言模型（LLM）推理中的安全与性能挑战，提出了一种名为FlexServe的快速且安全的LLM服务系统。随着端侧LLM的爆发式增长，其模型权重和用户数据价值极高，攻击者可能通过攻陷操作系统内核来窃取这些数据。ARM T
AgenticOS: An Intent-Oriented Secure Operating System Architecture for Autonomous AI Agents
随着大语言模型驱动的自主代理获得规划、工具使用、网络访问和代码执行等能力，传统基于“资源暴露+权限检查”的操作系统安全模型面临结构性挑战。一旦代理运行时遭受提示注入或恶意工具输出攻击，攻击者可以组合POSIX风格的资源原语，产生远超用户任务
CloakLM: Obfuscating GPU Memory Layout to Mitigate Model Ex-filtration for Serving
本文针对第三方共享加速器基础设施上部署大型基础模型面临的模型窃取风险，提出了一种纯软件的内存混淆框架CloakLM。在现有服务部署中，模型提供者控制虚拟机或裸金属服务栈，但无法控制底层硬件（如主机到GPU互连、加速器结构、相邻基础设施组件）
Cordon: Semantic Transactions for Tool-Using LLM Agents
本文提出 Cordon，一个专为使用工具的 LLM agent 设计的事务性运行时系统。当前 LLM agent 的运行时将工具调用暴露为独立的 RPC 调用，缺乏任务级执行边界（如提交、回滚、恢复和审计），导致多步 agent 工作流中不
Policy Description Language for Authorization using Logic-Based Programming
本文针对现有策略描述语言在表达能力上的不足，提出了一种基于逻辑编程（特别是Datalog）的策略描述语言，旨在支持多层防御（Defense-in-Depth）架构中的细粒度授权。研究背景指出，由于信息系统漏洞难以彻底消除，必须依赖多层防御策
TOMOYO Linux: A Mandatory Access Control Method Based on Application Execution State
TOMOYO Linux 是一种基于应用程序执行状态（即历史记录和意图）的新型强制访问控制（MAC）方法。传统的访问控制机制仅根据主体（应用程序）与客体（文件）的组合来授予访问权限，忽略了应用程序的意图以及授权可能带来的潜在影响。本文提出了
AgileOS: A GPU Operating System Layer for Protected CUDA Services
本文提出 AgileOS，一个旨在为 GPU 服务提供操作系统级保护层的系统。现代 GPU 应用越来越多地与存储系统、网络设备、供应商库和 GPU 驻留服务交互，而不仅仅是执行隔离的计算内核。这种转变要求对 GPU 服务提供类似操作系统的保
Agent libOS: A Library-OS-Inspired Runtime for Long-Running, Capability-Controlled LLM Agents
这篇论文针对大型语言模型（LLM）代理从简单的请求-响应助手向长期运行的软件参与者演进的趋势，提出了一种名为Agent libOS的运行时系统。长期运行的LLM代理需要在模型调用之间维护状态、分叉子任务、等待外部事件、请求人类授权、动态生成
Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
本文提出了一种名为 BOUNDARY FLOW 的 LLVM 插桩框架，旨在解决传统覆盖率引导的内核模糊测试（如 syzkaller）仅依赖边覆盖率（trace-pc）而无法区分仅参数值不同的执行路径的问题。例如，copy_from_use
A Secure, Manifest-Based Framework for Delegated Privilege Promotion
本文提出一种基于清单（manifest）的安全框架，用于在企业级软件系统中实现受限的权限提升委派。大型企业软件通常以低权限服务账户运行以遵循最小权限原则，但仍需少数特权组件（如具有提升所有权、权限或能力的可执行文件）执行窄范围操作。这导致维
Patchlings: Safety-Preserving Flash-Based Hotpatching for Automotive Microcontrollers
论文《Patchlings: Safety-Preserving Flash-Based Hotpatching for Automotive Microcontrollers》针对现代汽车软件更新周期长、安全法规合规要求高的问题，提出了一
Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives
随着AI代理（AI agent）越来越多地在开发者机器上运行不受信任的代码，例如由语言模型生成的shell命令、运行时检索的第三方脚本以及来源不明的工具插件，现有的隔离机制在适配此类工作负载时存在明显不足。容器和微虚拟机增加了特权、镜像管理