@misc{indiciae0c63f5ad2f16,
  title = {Reduce Once, Verify Many: Verifying Isolation Guarantees via Hierarchical Abstractions},
  author = {Shabnam Ghasemirad and Christoph Sprenger and Si Liu and David Basin},
  year = {2026},
  url = {https://arxiv.org/abs/2608.07793},
  note = {Source identifier: 2608.07793}
}