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