
Final session of the day has concluded: * Batch, Pack, and Prove: More Efficient Verifiable Computation for CKKS by Ignacio Cascudo, Anamaria Costache, Daniele Cozzo, Dario Fiore, Antonio Guimarães and Eduardo Soria-Vazquez * Practical Zero-Knowledge PIOP for Maliciously Secure Multiparty Homomorphic Encryption by Intak Hwang, Hyeonbum Lee, Seonhong Min, Jinyeong Seo and Yongsoo Song * Invited Talk: To Search and Protect: An MPC/FHE Approach to Encrypted Search by Shai Halevi Now it's off to the afterparty! See you all there! #FHE2026











