Verifiable Computing Using Computation Fingerprints Within FHE. - Shlomi Dolev; Arseni Kalma (NCA, 2021)