@misc{indiciae14c47166ef68,
  title = {Fast Verification of Strong Database Isolation (Extended Version)},
  author = {Zhiheng Cai and Si Liu and Hengfeng Wei and Yuxing Chen and Anqun Pan},
  year = {2025},
  url = {https://arxiv.org/abs/2511.14067},
  note = {Source identifier: 2511.14067}
}