Alex Block: Concrete Security of the FRI Protocol
54:51
Binyi Chen: LatticeFold - A Lattice-based Folding Scheme and Applications to Succinct Proof Systems
1:03:02
Eli Goldin - CountCrypt: Quantum Cryptography between QCMA and PP
1:16:28
12 Dec 2024, Roberto Corrao (Yale)
49:09
Alex Hoover: Plinko - Single-Server PIR with Efficient Updates via Invertible PRFs
54:12
John Kolesar: Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence
1:08:37
João Ribeiro: "Noisy" versus "Bounded" Leakage
52:05
Surya Mathialagan - Universal SNARGs for NP from Proofs of Completeness
1:02:29