Our paper “VerIso: Verifiable Isolation Guarantees for Database Transactions” was accepted at VLDB 2025!