Teaching an Old Dog New Tricks: Verifiable FHE Using Commodity Hardware. - Jules Drean; Fisher Jepsen; Edward Suh; Srini Devadas; Aamer Jaleel; Gururaj Saileshwar (Proc. Priv. Enhancing Technol., 2025)