Daniele Cozzo
Daniele Cozzo researches cryptographic proofs at the IMDEA Software Institute. His work develops succinct arguments for verifying fully homomorphic encryption computations, including approximate arithmetic used in machine learning. With collaborators, Cozzo developed proof techniques for arithmetic and range checks over polynomial rings, extending methods that had largely focused on finite fields.