Created in November 15, 2025
2025
Our paper “Fast Verification of Strong Database Isolation” was accepted at VLDB 2026.