Rohitkumar R. Upadhyay, Sahadeo Padhye, Rajeev Anand Sahu, Vishal Saraswat: Towards Privacy and Integrity: SNARK-Driven Verifiable FHE for Outsourced Computation. ACNS Workshops (3) 2025: 318-333