Skip to content

Safe to Resume? Breaking Execution Continuity of Agent Execution via Rollback

Aug 2026 · 2 citations · 61 references
Computer Science

TL;DR

This paper presents the first systematic security study of checkpoint and rollback in existing agent systems, and develops a multi-agent analysis pipeline that reconstructs execution semantics, identifies violations of the five failure conditions, and validates them through actual rollback.

Abstract

AI agents are moving toward persistent, stateful execution across various applications, accumulating execution state and external effects that are costly to reconstruct after failures. Checkpoint and rollback (C/R) are becoming essential for recovery, yet their security implications remain largely unexplored. Correct rollback does not imply secure recovery: a faithfully restored checkpoint may resume an execution whose states, assumptions, and external effects never coexisted in any valid history. In this paper, we present the first systematic security study of checkpoint and rollback in existing agent systems. By examining representative agent C/R systems, we characterize the design space of existing C/R mechanisms and develop a general execution model that captures their recovery boundaries and state dependencies. From this model, we identify five fundamental failure modes spanning incomplete or inconsistent internal state, stale external dependencies, nondeterministic replay, and unrecorded external effects. We further demonstrate their security impact through three end-to-end attacks on Hermes, Cline, and LangGraph, enabling malware-verification bypass, unauthorized mail forwarding, and double payment. To systematically study these failures in practice, we develop a multi-agent analysis pipeline that reconstructs execution semantics, identifies violations of the five failure conditions, and validates them through actual rollback. Across five representative frameworks, our evaluation shows that these failures recur across heterogeneous C/R designs and stem from a common gap between the state restored by a checkpoint and the dependencies required for secure continuation.

View source

Similar papers

#artificial intelligence Preprint Sep 2026

Agent Memory Is a Surface for Endogenous Authorization Laundering

This work evaluates five LLMs as memory writers and two as executors across procurement, cybersecurity, and finance and introduces EAL-Bench, which measures how accurately persistent memory preserves evolving authorization state and whether errors propagate to downstream unauthorized actions.

Tommaso Cerruti, Mika Okamoto, Ansel Kaplan Erol · 4 citations · ⚡1
#artificial intelligence Preprint Sep 2026

Recoverability as a System Primitive for Long-Horizon AI Agents

This work introduces recoverability as a system primitive that makes reuse an explicit decision: select a supported starting point and a permitted recovery action, or withhold automatic continuation, and establishes why recovery decisions need their own evaluation.

Zhi-Hui Zhang, Wei Liu · 0 citations
Preprint Oct 2026

Safety Must Survive Self-Improvement: Why Failures Persist and How Agents Recover

This work studies the challenges of preventing unsafe behavior from persisting and enabling recovery when failures occur through a controlled testbed of stateful authorization tasks, where fixed LLM editors optimize executable agent components and independent traces record their effects.

Yun-Bei Zhang, Janet Wang, Saiyue Lyu et al. · 0 citations
#artificial intelligence Review Oct 2026

YouRA: A Persistent-State Architecture for Evidence-Traceable Autonomous Research Agents

End-to-end research agents can now produce complete scientific papers, yet manuscript claims often diverge from executed experiments. This gap is structural: research state, failure histories, and claim-evidence alignment are not maintained as persistent, verifiable state across long-horizon pipelines. We present YouRA...

Yoonkyu Woo, Woo-Jin Lee, Jin-Xia Huang · 0 citations
Preprint Aug 2026

Beyond End-to-End Success: Diagnosing Failures in Long-Horizon Security LLM Agents

The results show that the dominant source of failure can shift across model generations, motivating evaluation that diagnoses where and why long-horizon security agents fail rather than relying only on aggregate task success.

Wei Shao, Chongzhou Fang, Zu-Xiong Tan et al. · 1 citation

Related blog posts

Hugging Face Blog Oct 20, 2026

MPS in PyTorch 2.15

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.