May274:30PM Crypto Seminar BENEDIKT BÜNZ Proof-Carrying Data without Succinct Arguments Virtual Presentation - ET Remote Access - Zoom