@misc{indiciae4cc29ad9b949,
  title = {VerIso: Verifiable Isolation Guarantees for Database Transactions},
  author = {Shabnam Ghasemirad and Si Liu and Christoph Sprenger and Luca Multazzu and David Basin},
  year = {2025},
  url = {https://arxiv.org/abs/2503.06284},
  note = {Source identifier: 2503.06284}
}