I presented our “VerIso: Verifiable Isolation Guarantees for Database Transactions” paper at VLDB 2025, in London, UK.