Dario Fiore

TL;DR: New protocols for publicly verifiable secure outsourcing of Evaluation of High Degree Polynomials and Matrix Multiplication are presented, which improve in efficiency and offer security in a stronger model.

TL;DR: The study of a new primitive that allows to commit to an ordered sequence of q values in such a way that one can later open the commitment at specific positions (e.g., prove that mi is the i-th committed message).

TL;DR: The main solution is a generic identification protocol that allows to select and report all the enrolled identities whose distance to the user's fingercode is under a given threshold and can be generalized to any biometric system that shares the same matching methodology, namely distance computation and thresholding.

TL;DR: A novel homomorphic hashing technique is developed that allows us to efficiently authenticate computations, at the same cost as if the data were in the clear, avoiding a $10^4$ overhead which would occur with a naive approach.

TL;DR: This system, referred to as DP3T, provides a technological foundation to help slow the spread of SARS-CoV-2 by simplifying and accelerating the process of notifying people who might have been exposed to the virus so that they can take appropriate measures to break its transmission chain.