paper-with-me

Papers

OS-Sentinel: Towards Safety-Enhanced Mobile GUI Agents via Hybrid Validation in Realistic Workflows

2025-10-28 · Qiushi Sun, Mukai Li, Zhoumianze Liu, Zhihui Xie, Fangzhi Xu, Zhangyue Yin, Kanzhi Cheng, Zehao Li, Zichen Ding, Qi Liu, Zhiyong Wu, Zhuosheng Zhang, Ben Kao, Lingpeng Kong arxiv

Computer-using agents powered by Vision-Language Models (VLMs) have demonstrated human-like capabilities in operating digital environments like mobile platforms. While these agents hold great promise for advancing digital automation, their potential for unsafe operations, such as system compromise and privacy leakage, is raising significant concerns. Detecting these safety concerns across the vast and complex operational space of mobile environments presents a formidable challenge that remains critically underexplored. To establish a foundation for mobile agent safety research, we introduce MobileRisk-Live, a dynamic sandbox environment accompanied by a safety detection benchmark comprising realistic trajectories with fine-grained annotations. Built upon this, we propose OS-Sentinel, a novel hybrid safety detection framework that synergistically combines a Formal Verifier for detecting explicit system-level violations with a VLM-based Contextual Judge for assessing contextual risks and agent actions. Experiments show that OS-Sentinel achieves 10%-30% improvements over existing approaches across multiple metrics. Further analysis provides critical insights that foster the development of safer and more reliable autonomous mobile agents. Our code and data are available at https://qiushisun.github.io/OS-Sentinel-Home/.

📄 PDF Abstract BibTeX arXiv:2510.24411

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

SENTINEL: A Multi-Level Formal Framework for Safety Evaluation of Foundation Model-based Embodied Agents

2025-10-14 · Simon Sinong Zhan, Yao Liu, Philip Wang, Zinan Wang 외 arxiv

We present SENTINEL, a framework for formally evaluating the physical safety of foundation model (FM)-based embodied agents. SENTINEL is the first to provide multi-level safety evaluation across semantic interpretation, …

QuadSentinel: Sequent Safety for Machine-Checkable Control in Multi-agent Systems

2025-12-18 · Yiliu Yang, Yilei Jiang, Qunzhong Wang, Yingshui Tan 외 arxiv

Safety risks arise as large language model-based agents solve complex tasks with tools, multi-step plans, and inter-agent messages. However, deployer-written policies in natural language are ambiguous and context depende…

MobileSafetyBench: Evaluating Safety of Autonomous Agents in Mobile Device Control

2024-10-23 · Juyong Lee, Dongyoon Hahm, June Suk Choi, W. Bradley Knox 외

Autonomous agents powered by large language models (LLMs) show promising potential in assistive tasks across various domains, including mobile device control. As these agents interact directly with personal information a…

Sentinel Agents for Secure and Trustworthy Agentic AI in Multi-Agent Systems

2025-09-18 · Diego Gosmar, Deborah A. Dahl arxiv

This paper proposes a novel architectural framework aimed at enhancing security and reliability in multi-agent systems (MAS). A central component of this framework is a network of Sentinel Agents, functioning as a distri…

Anomaly Detection

Neural Enhanced Belief Propagation for Cooperative Localization

2021-05-27 · Mingchao Liang, Florian Meyer

Location-aware networks will introduce innovative services and applications for modern convenience, applied ocean sciences, and public safety. In this paper, we establish a hybrid method for model-based and data-driven i…

Graph Neural Network