20 Mar. 2023, 11:00-12:00 BARC Talk by Elena Pagnin Progressive Verification for Cryptographic Schemes