English

It's a Feature, Not a Bug: Secure and Auditable State Rollback for Confidential Cloud Applications

Cryptography and Security 2026-04-17 v2

Abstract

Replay and rollback attacks threaten cloud application integrity by reintroducing authentic yet stale data through an untrusted storage interface to compromise application decision-making. Prior security frameworks mitigate these attacks by enforcing forward-only state transitions (state continuity) with hardware-backed mechanisms, but they categorically treat all rollback as malicious and thus preclude legitimate rollbacks used for operational recovery from corruption or misconfiguration. We present Rebound, a general-purpose security framework that preserves rollback protection while enabling policy-authorized legitimate rollbacks of application binaries, configuration, and data. Key to Rebound is a reference monitor that mediates state transitions, enforces authorization policy, guarantees atomicity of state updates and rollbacks, and emits a tamper-evident log that provides transparency to applications and auditors. We analyze Rebound's security properties and show through an application case study -- with software deployment workflows in GitLab CI -- that it enables robust control over binary, configuration, and raw data versioning with low end-to-end overhead.

Keywords

Cite

@article{arxiv.2511.13641,
  title  = {It's a Feature, Not a Bug: Secure and Auditable State Rollback for Confidential Cloud Applications},
  author = {Quinn Burke and Anjo Vahldiek-Oberwagner and Michael Swift and Patrick McDaniel},
  journal= {arXiv preprint arXiv:2511.13641},
  year   = {2026}
}

Comments

Published in 2026 IEEE Symposium on Security and Privacy (IEEE S&P)

R2 v1 2026-07-01T07:41:41.436Z