Lior Rotem, Stefano Tessaro: Straight-Line Knowledge Extraction for Multi-Round Protocols. CRYPTO (7) 2025: 95-127