@article{VeriStrong:PVLDB2026,
  author = {Cai, Zhiheng and Liu, Si and Wei, Hengfeng and Chen, Yuxing and Pan, Anqun},
  title = {Fast Verification of Strong Database Isolation},
  year = {2026},
  publisher = {VLDB Endowment},
  volume = {19},
  number = {4},
  pages = {563--575},
  journal = {Proc. VLDB Endow.},
  doi = {10.14778/3785297.3785300},
  url = {https://doi.org/10.14778/3785297.3785300}
}