TY - RPRT TI - Multi-Prover Interactive Proof Systems with Leakage AU - Vahid R. Asadi AU - Atsuya Hasegawa AU - François Le Gall PY - 2026 DO - 10.4230/lipics.mfcs.2026.60 UR - https://arxiv.org/abs/2605.09872 ID - 2605.09872 ER -